Francisco Marques

Add support for RISC-V AIA IMSIC

1

**RISC-V AIA APLIC support:** - Change the Bao's interrupt reservation mechanism; - Add MSI Mode support in (V)APLIC driver; - IMSIC driver. - VIMSIC driver **Software Versions:** QEMU - v7.1.0...

Hi! I notice that the current makefile rule for run is: qemu-system-aarch64 -M raspi3 -m 1024 -serial null -serial mon:stdio -nographic -kernel kernel8.elf Accordingly, to [Raspberry Pi boards](https://qemu.readthedocs.io/en/latest/system/arm/raspi.html) the name...