VirtualBox, kernel 3.2+, BUG: unable to handle kernel NULL pointer dereference...