ابن مشرنن، خير الدين