Title: How to Use SAMA5D2 IRQs under Linux