Interrupt Enable and Interrupt Disable Registers

There are separate write-only registers for enabling (GICPx_IRQ_ENABLE) and disabling (GICPx_IRQ_DISABLE) a particular interrupt. This allows enabling/disabling on any single interrupt without the need for a read-modify-write register operation.