Fix hammerhead kernel special case

Change-Id: I10d51f034fc34c22e6580a6e7dd765d53b29a2ce