Current bochs has a 128kB BIOS, not 64kB