found 907585 20180518-1~bpo9+1 thanks firmware-cavium_20180518-1~bpo9+1_all.deb is still in the package pool and contains the offending binary.
- Bug#907585: Contains Linux kernel iamge with so... Ben Hutchings
- Bug#907585: marked as done (Contains Linux... Debian Bug Tracking System
- Bug#907585: Backport also needs fixing Florian Weimer
- Processed: Backport also needs fixing Debian Bug Tracking System