[coreboot] linux as payload on KGPE-D16