Seems like they could have specified that only the "good parts" of UEFI are required. I.e., the minimal, simplest part actually used. After all, on x86,that is

Seems like they could have specified that only the "good parts" of UEFI are required. I.e., the minimal, simplest part actually used. After all, on x86,that is the only part that can actually be counted on to work. The rest is shovelware.