Stock Galaxy Nexus kernel with the updates from 4AJ.2.2 OMAP4 kernel