I don't think non-free _firmeare_ has ever referred to kernel modules. All _firmware_ in the Debian repos refers to stuff that does not run in the main CPU but

I don't think non-free _firmeare_ has ever referred to kernel modules. All _firmware_ in the Debian repos refers to stuff that does not run in the main CPU but on the CPU embedded in various peripherals. Binary kernel modules such as the Nvidia driver are not generally considered firmware and are not covered by this vote as I understand it.