[coreboot] kernel payload