BBB Board power supply damaged by switch off without shut down.

Hello,

exist a Hardware Bug at the BBB Board which damages the power supply TPS65217DRSL?
I had a BCM1 module which I swiched off without shut down. After this shut down was the power supply damaged.
Exist a release to this bug (if exist)?