[seL4] xilinx ultrascale+: Spurious interrupt