forked from Imagelibrary/rtems
The GICD_IROUTER register technically starts at offset 0x6000, but the first 32 IRQ entries are reserved making IRQ 32's entry at 0x6100 the first usable entry. This register is not currently used, so only a comment is added to that effect. Closes #5223