Re: [coreboot] Linux kernel as payload?