allow tagged kernel releases, as in 3.11.6-x86_64-linode35