(Richard, Stefan) After some tail chasing (which included verifying that the spare PMC board works too), we found the 35MHz PMC EOM feed cable ripped out of the connector. Fixing this obviously restored all PSL functionality. A better connector is currently being installed. I also did a burt-restore to 10/26/2013 9am UTC (back when it was still working) to make sure we didn't pick up any spurious settings.