Update default.xml

back to Beergang build tools, he added back in kernel building..