Update default.xml

kernel source change