Modded kernel 3.16 to be used with Android-x86