Fix use of SUPERMIN and QEMU environment variables, and document.