Patch for Kernel panic on VirtualBox 4.3.8 for OSX

see https://github.com/boot2docker/boot2docker/pull/273