Galaxy Nexus kernel for Android 4.4 based on CM11