Support generic interrupts on arm64
See the thread starting at https://matrix.to/#/%23redox-dev%3Amatrix.org/%24hVX4XI4x2tbwbJCSl1vQ5wx0C7GOBNGfWTmXAtW6e3c?via=mozilla.org&via=matrix.org&via=artifact8.xyz&via=envs.net But basically only timer and serial interrupts currently work. The irq:
scheme required by most PCI drivers (and other drivers) is non-functional. This needs to be implemented for each of the three irq chips supported by the kernel.