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