Can I use an external edge-triggered (negative edge) interrupt (on a GPIO pin) to trigger an I2C write via PPI? If so, do the I2C registers need to be reloaded each time? It would be great if these could be setup once and remain static. This is an application in which the I2C write is used to clear an interrupt coming from an external chip. Any example code would be appreciated.