x86/boot: Simplify EBDA-vs-BIOS reservation logic