again a kernel change

Change-Id: I4c369cfb56f598bfa55bbdcdde2c7b460fba7acb