Windows 7 Won't Boot After Bitdefender Install

In trying to install Bitdefender on my Dell laptop (Win 7 pro, 64-bit), I got to a point where Bitdefender said it would need to re-start to have changes take effect. Re-start failed, and the detail from that says that the System32 driver trufos.sys is corrupted. It appears that is a Bitdefender file (and a known problem). What is the solution (short of re-installing the operating system)? Can Bitdefender supply a function copy of trufos.sys?


Thanks.