Update default.xml

add kernel repo