Pires de Lima, Pedro d’Alte Bártolo, Portugal