Add OS detection to allow Linux use 5s limit for kernel running time.
Fresh results.