Pruning of personally unneeded devices/kernels

Change-Id: Ib71d253799f7a87053e7e6a5e83d3ec6eaceffbc