Patch for Kernel panic on VirtualBox 4.3.8