Answering to this StackOverflow question, here's a list of Android device models that were seen supporting 64 bit code. No guarantee, though. The OS selection is up to the carrier; it could be the case that your carrier sells the same model with a 32-bit OS.