It implies to me exactly what you said, the outlet, assuming it is working correctly, detected a difference between the hot and neutral and tripped. If the PSU is the issue could it have damaged the GFCI?
The reason I ask is because while the board was out for replacement I put a different...