kernel repo change

...

 On branch jb422
 Changes to be committed:
	modified:   default.xml
	modified:   kernel_manifest.xml