Set bios_ia32 only if no other boot platform is set.

Only set bios_ia32 flags for x86_64 if boot platform is bios_ia32.