coreboot-kgpe-d16/src/include/main_decl.h