x86/boot: Fix non-EFI build
This page took 4.584428 seconds and 4 git commands to generate.