[coreboot] Linux-kernel as payload