default.xml: track several AOSPSM repos