3.4 Kernel port of the Samsung Galaxy Nexus