make guest memory/smp configurable