Notes and simple scripts on setting up nested virtualization on Fedora-18