[seL4] Stuck during invalidate local TLB in Tx2