fix hammerhead kernel