Question: verr_vmx_no_vmx vt-x is not available?
Answer: Workaround. Enable the Virtualization option in the local machine BIOS and restart the computer. If the BIOS does not have a Virtualization option or it is already enabled, please see this virtualbox forum post for additional workarounds.