default.xml: Change android_system_core to cm42semc