Update default.xml

added ART from CyanogenMod sources.. updating kernel next .. gag..