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 source not pro... Ben Hutchings
- Bug#907585: Backport also needs fixing Florian Weimer
