coreboot-kgpe-d16/payloads/libpayload/include/lp_vboot.h