removed devices and kernels not used

 Changes to be committed:
	modified:   default.xml
	modified:   kernel_manifest.xml