Update default.xml

update kernel string