VBoxSF.sys attempts to close an invalid kernel handle

Description

When booting Windows 7 x86 with the driver verifier enabled (for a different driver), an INVALID_KERNEL_HANDLE crash occurs on startup, and WinDBG reports that VBoxSF.sys is at fault. VirtualBox is running on a FreeBSD 9-CURRENT host.