Device files for Google Galaxy Nexus