hammerhead kernel

Change-Id: I96c523b42b3228f04a52d9e3dca0cdf8f80d63b1