android: default.xml: use different branch for kernel