So if I get this correctly, as long as the Host OS is 64bit we're fine, since VME isn't supported on that anyways? I'm thinking 32bit hosts running VMs of any sort should be an increasingly rare case, but nevertheless it's going to be interesting to see if and when AMD releases a fixed version.