Set kernel name

Change-Id: I79e0a525ef400f7fc5b9144c5b4eba860b30521f