default.xml: use my latest kernel repo