Travis-ci: require an older version of kernel headers

This is to work around the newer one not being available on the travis-ci host.