Update default.xml

Adding the kernel