Re: [coreboot] where to put info about linux payload and kgpe-d16