hammerhead: Fix build

Change-Id: Ic4def2045a8b8b68fb30c2cd26a5631e80dd8f91