Update default.xml

Added Kernel source to repo