After an MCPC reboot (which usually worked) I could not run “SccBmc –I” without getting the error message:
ERROR: initializeSysIF(): Failed to open PCIe driver device. Driver devices not installed/available…
Another symptom was that the interface 'crb0' did not show up in ifconfig's output.
I tried powering off the board through the BMC and rebooting the MCPC, but still got the same messages.
The solution was as follows:
sccBmc -c "power off"
sccBmc -c "power on"
On reboot full functionality was restored.