So, just to clarify: if Step 1 fails then the only way to install SEA VM is to start changing BIOS settings? No other options available? I currently have five students in my class that can't install the 64-bit VM.