> many ARM machines ARM that supports UEFI? I wouldn't say that's many devices. All the other support is there, but the UEFI is notably missing (at least at t

> many ARM machines ARM that supports UEFI? I wouldn't say that's many devices. All the other support is there, but the UEFI is notably missing (at least at the consumer level). That's part of the reason why it's almost impossible to buy an ARM linux laptop that doesn't have some hacky vendor specific kernel.