(travis) Revert bc418819f - it doesn't work. Instead check vm kernel health