[Git][ghc/ghc][master] Set default eventlog-flush-interval to 5s