Bran Ardchenn mac Muiredaig, king of Leinster