precompiled hammerhead kernel

Change-Id: I377794f9b5d5464df6875a578088dc736ba36e55