add kernel manifest, removed kernel lines from default

...

 On branch jb422
 Changes to be committed:
	modified:   default.xml
	new file:   kernel_manifest.xml
	new file:   manual_add_kernel_manifest.sh