I am implementing A53 dual core processor with GIC-400. I would like to connect the watchdog timer interrupt request to a non-maskable A53 or GIC-400 interrupt input but I realize there isn't one. Should I use nSEI [1:0]?