vmware-patch of linux kernel 3.12+