"There appears to be a bit of cargo cult going on here.
[…] makes sense to distinguish between […] c) commercial implementations created by BIOS vendors for x86 PC OEMs that do not perform any testing beyond booting Windows.
[…]
The ARM case is very different […]
there is no need to work around buggy proprietary firmware that can boot Windows but not Linux
