Re: [coreboot] Linux 4.7 kernel payload with CoreBoot 4.4