fix kernel naming

Change-Id: I4e5bc5327d4045206f338ab4014c403e499b3dec