Move a copy of the PLIC driver out of one of the platforms and make the setup of the interrupt controller a bit more dynamic.
Move a copy of the PLIC driver out of one of the platforms and make the setup of the interrupt controller a bit more dynamic.