Nemám Debian, ale v Gentoo amd64 je /lib/ iba symlink na /lib64/. Ak sa tam nenachádza adresár modules, niečo asi nie je v poriadku. Debianovské balíčky majú väčšinou v sebe kompiláciu potrebných modulov, pri zmene kernelu sa o moduly stará tuším DKMS. Skúsil by som preinštalovať DKMS, prípadne balíčky týkajúce sa iptables. insmod dokáže doinštalovať modul skompilovaný neštandardne, ktorý sa nenachádza v databáze modulov, aspoň v Gentoo sa na to použva.