Pi400 boot fix & fix MaxInterrupts being too low
- Ensure that the IIC bus list is fully initialised, to fix a hang on startup on the Pi400: https://www.riscosopen.org/forum/forums/11/topics/16313
- Increase MaxInterrupts to the correct value for the Pi 4