[coreboot] Re: coreboot with seabios as payload