Update default.xml

switched to faux kernel