Use Ohai kernel name in binary URL