Changed branch for hammerhead kernel