Dual boot Windows 8.1 for VirtualBox and Hyper-V

Most of the time I use VirtualBox to run Linux distros like Ubuntu and Debian. At the same time, I have to work with Windows Phone SDK which needs Hyper-V to run the Windows Phone emulator. Understandably VirtualBox and Hyper-V will not run at the same time. The easiest way I found to solve that problem is creating a dual boot configuration where one of the boot options has Hyper-V disabled. Here is how to do it:

Run Command Prompt (not PowerShell) as Administrator and execute the following commands (note that the GUID will be different on your system):

bcdedit /set {current} hypervisorlaunchtype off 

bcdedit /copy {current} /d "Windows 8.1 with Hyper-V"
The entry was successfully copied to {5e0b6781-81ec-11e3-be83-74d02bc4e906}.

bcdedit /set {5e0b6781-81ec-11e3-be83-74d02bc4e906} hypervisorlaunchtype auto 
The operation completed successfully.

You should now have two boot options in the Windows start menu: "Windows 8.1" and "Windows 8.1 with Hyper-V". To switch between the different configurations, make sure you hold the Shift key while clicking on the Restart option.