hotplug does not work as expected
(I am adding this just as a reminder for completeness)
The AMC board does not yet fully support hortplug.
- board is present during boot: removing and re-inserting works
- board is not present during boot: inserting the board does not work
This needs to be investigated. CSL suspects an issue with the PCIe driver