[coreboot] Re: Intel EDK2 header files