Could a failed power supply even though indicator light is green be a firmware issue in DSM?

This is not likely a firmware issue. If you notice such behavior, you should open a support ticket with Fortanix support ([email protected]) for further investigation.