Test branch 2, do not merge
Summary
bsps/aarch64/a72: Avoid use of reserved INTIDs
Interrupt IDs 1020, 1021, 1022, and 1023 are reserved as special INTIDs and should be ignored for normal RTEMS operation as they signal internal changes in the interrupt controller that RTEMS itself is directly causing.