default.xml: fix derp in device repo name