Yes, multiple ARM vendors that all require custom kernels and none of which boot mainline or require some weird fucked up Device Tree. Any ARM SoC vendors out there support UEFI, besides the old Microsoft devices with locked bootloaders?