don't need these kernels

Change-Id: I15552a0e2b79a08dc8fcb49103a8f46e7ca9ee44