Patricius, de Hibernia