Change to slim kernel

Change-Id: I42977ec8c12a6d8ab4d26cfef228f8c7f56131ff