Common kernel tree for Android