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