It is Foxconn A7DA-S 3.0.

I can't say for sure whether the port is physically damaged or is it just software issue. On the other machine with the same mobo, there are periods of time when sometimes card is working, sometimes system gets unstable (freezes), but the card is being detected and sometimes card is not being detected at all  - I haven't noticed any rule to it though.