Update default.xml

Change kernel to teameos