Beware: there are many versions in stretch-backports at the moment,
probably because it's very seldomly decrufted.
Currently:
- 4.13.13-1~bpo9+1
- 4.14.7-1~bpo9+1
- 4.14.13-1~bpo9+1
- 4.15.11-1~bpo9+1
- 4.16.5-1~bpo9+1
- 4.16.16-2~bpo9+1
- 4.17.8-1~bpo9+1
Note: It's probably better to limit this to udebs and linux-image-*
packages; development packages, headers, and compilers are probably a
bit superfluous.