If you look in the tutoria section of this site they have a nice tutorial on how to take the 1mb bios that is the 2.5 evoX bios and split it into one 256KB file that will work with the chip. I have tried it two different ways one with winhex and the other with hex workshop and both cuts came out to the exact same size and hex-addresses.