It doesn't work for me. Not sure if that patch is intended for x86_64. I tried on 4.0.1 a cpl days ago and it didn't work. It would be really useful if somebody from VMWare could tell us when can they get around this problem.