I'm still forced to put my Mini to sleep to get VT-x to work. I have the latest firmware update, so I don't know what the problem is. Are others still having this problem? Are there any work arounds other than sleep? I'm currently using 3150.
