default.xml: add in my kernel repo