Devil's Ladder Route, Carrauntoohil (1039m), Ireland