Originally Posted by Mentalist Traceur

Umm... wl1251_spi is part of the injection-capable patched wifi driver. Not the stock wifi driver (unless they changed things in v. 52).

So I suspect for some reason the config for modprobe has wl1251_spi (one of the modules making up the injection-capable driver) listed as either a dependency of wl12xx (the stock driver) or vice-versa.