travis-ci: log kernel version info