[coreboot] Intel EDK2 header files