added a patch for kmod_bofh to make it compatible with kernel >= 3.9