Vmware using it is more a reason to avoid it than using it.. :)And most certainly not a reason to export internal kernel details.