Device files for Google Galaxy Nexus (GSM)