Well, the steps are to reboot your host system, enter the BIOS and set the mentioned settings. How to enter the BIOS depends on your hardware, often you'll have to press ESC, or an F# key. Once done save the BIOS settings and power cycle the host system. A simple reboot might not be sufficient.
André