there's a cheaper solution its called "Chinese Manufacturers" they are into Quad core's right now , going head to head with S3 & even beating it in some aspects

they can easily make a Quadcore Debian Phone if all members of TMO order