common kernels taken from the google android git server