default.xml: use new kernel branch name