Re: [coreboot] resuming a kernel directly from coreboot?