Update default.xml

Lets fix the kernel name, and maybe pull from the right repo for vendor files...that might help :P