#include "src/arch/x86/init/prologue.inc"
 #include "src/cpu/x86/16bit/entry16.inc"
 #include "src/cpu/x86/16bit/reset16.inc"
 #include "src/cpu/x86/32bit/entry32.inc"
 #include "src/arch/x86/lib/id.inc"
 #include "build/generated/bootblock.inc"
 #include "src/arch/x86/lib/walkcbfs.S"
