x86/boot: Fix non-EFI build