Since the power supply burned, there was an obvious place to start looking for problems. One of the two synchronous rectifier FETs was a dead short. Everything else seemed to be good.