And Hammerhead kernel

Change-Id: Ib37612f5db77c771a3723f63796a8e2ff32aea48