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