[coreboot] resuming a kernel directly from coreboot?