Hacker News Reader

This. I cannot use docker on my gaming rig to use it as dev machine sometimes because I need VirtualBox on it.

You can use docker-machine with VirtualBox. It is not smooth as the native Docker experience, but it is good enough.

Isn't it just a case of changing a registry value and rebooting?

If switching from games to dev work requires manually patching the system registry and rebooting, then something is horribly wrong.