a custom bootloader that loads an image from an NVMe device - the NVMe driver makes use of LPI interrupts routed through the GICv3 ITS device. Once the bootloader runs and loads the next image into RAM and executes it, the second image re-initializes the GIC, including the ITS device, however no LPI interrupts are ever delivered after this. I found I am unable to set the LPI enable bit back to 0 in redistributor register, and not sure if this could be part of the issue. How can I set GIC LPI enable bit back to 0？