It is indeed a bug in debian/patches/42a_ath_pci_supplicant_tweaks.patch. I attach a debdiff that solves the problem for me.
It is indeed a bug in debian/ patches/ 42a_ath_ pci_supplicant_ tweaks. patch. I attach a debdiff that solves the problem for me.