Diarmait mac Maíl na mBó, King of Leinster