[coreboot] Linux 4.7 kernel payload with CoreBoot 4.4