rm kernel for now

Change-Id: Ibddfc63650084cb791163bb44678e1bed5a97f80