They could always build upon the remaining 32 bit support and provide a kernel build themselves (I don't know the project though)