You don't even need to buy one of those, providing kernel source is available, the bootloader is unlockable and a compatible version of CyanogenMod or AOSP 5 is available, then you can port it yourself.