fix kernel typo

Change-Id: I6343773cc213d521ce0dabedbfdef7616f11d3e2