[coreboot] Re: Booting Legacy + UEFI disks: SeaBIOS / tianocore as secondary payload?