autotest/virt-test — pull request #1423 by lmr (2014-02-03 15:53:44+00:00)
Title: Fix config option

Fix a bunch of problems reported by @bonzini