Only use 32 bit functions in boot on x86_64 if we are bios_ia32.