Update default.xml

Updated kernel branch