Fixed path to hammerhead kernel