Devices files for Google Galaxy Nexus (base)