fix my error on kernel name

Change-Id: I4ebe4e14eab879ec2c40f00df6782f8beabef88b