default.xml: add back in kernel repo