Sant’Irene del Portogallo, leggenda e devozione