Will the Nexus Prime be made by Samsung? Samsung seems to think so