> However, the moment the kernel runs request_firmware(), it's asking for something. If this something is known to be non-Free Software, it's not OK for the kernel to ask for it, even though it would be ok (but unfortunate) for the user to ask the kernel to use it and for the kernel to then use it.
"The moment the kernel runs pci_enable_device(), it's asking for something. If this something is known to be non-Free hardware or hardware with non-Free firmware, it's not OK for the kernel to ask for it, even though it would be ok (but unfortunate) for the user to ask the kernel to use it and for the kernel to then use it."
(I do not know if this variation on your argument is a good one or even if it makes sense, but it sounded too good to let it pass.)