util/qemu-config: fix missing machine command line options