If you want to use 32-bit addresses, be sure to init the high bits, too. Some additional register saves around BIOS calls (just in case).
