General background:
https://github.com/EFForg/https-everywhere/commit/79d6ffdb8a9a48220efb0f0a39160cc4e6f9aa2c
https://github.com/EFForg/https-everywhere/issues/2842#issuecomment-143905350
(The DoS was from Tor's control port).
There are a few problems that are making me weary of using whonix-gw again, and the first prerequisite is this.
Removing the modprobe line in network-proxy-setup doesn't fix this.
sys-net, sys-firewall, and whonix-ws all work fine with grsecurity enabled and the rootkit interface disabled.