FYI:
WS 8.0.1 with 3.2 patch works here with kernel 3.3 on host Feddra 17 Rawhide guest Windows SP SP3. Tootls installed without a hitch. As to when VMware Inc will provide support for kernels > 3.0 remains unknown. My guess is that they will wait for Redhat Linux Enterprise to use such a kernel!