I am trying to use the Global Interrupt Controller Registers that come with the new IPIC facility, each core can set its own request registers and this is reflected in the status registers, however the intercore request register writes are failing. Any help is highly appreciated