Caroloman, bărbătesc, Cerredo