default.xml: remove device and kernel repo