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. UPDATE: A popular misconception is that you need to be a developer in order to port. That is NOT the case.