Update default.xml

adding support for pre-built kernel