Samsung Galaxy Nexus kernel