Patch for Kernel panic on VirtualBox 4.3.8 for OSX

Apply interim patch to Virtual-box issue https://www.virtualbox.org/ticket/12748