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