If they manage to get SBSA support then they will need UEFI by default. Doesn't mean they couldn't use Coreboot as a first stage loader with an EDK2 payload for

If they manage to get SBSA support then they will need UEFI by default. Doesn't mean they couldn't use Coreboot as a first stage loader with an EDK2 payload for all the EFI bits.