Update default.xml

fix typo on kernel name