VMware fails to build with the new kernel