default.xml: fix typo in kernel repo