Add patch from #3950 to make wifidog work with newer kernels