Linux is much more dominant in the ARM space and while many devices are locked, most vendors also make unlocked SKUs and for some unlocked devices are the rule and not the exception. It would be good to encourage vendors making UEFI ARM devices to make an unlocked SKU without the Win8 logo at least in small runs for developers that can be sold at-cost.