I really hope they fix the VMware issues...


Edit - Just an update so this post isn't misleading....

Apparently this isn't an issue, as long as the kernel is installed as "mach_kernel". This is a VMware problem not a kernel problem.