Let's see what kernel version travis is running these days ... still no good for docker?