VMplayer patch for kernel 3.11