The PFC locks up occasionally, sometimes will take hours or days. Since I have the watchdog enabled, eventually it will timeout and reboot the Raspberry PI. The watchdog logs in syslog do not show the reason since system load and memory look to be Ok before the reboot. I do not see the green LED on the RPi flashing in the locked up state which may indicate a problem with the SD card access.