updated kmod_bofh for new 3.10.0 kernel