[GHC] #16349: Nondeterministic T3424 timeouts on CI