Как изменить qemu машину по умолчанию?

Я использую Kubuntu 14.04 (x86_64 3.13.0-43-универсальный # с 72 Ubuntu) с qemu-kvm.

$ kvm --version
QEMU emulator version 2.0.0 (Debian 2.0.0+dfsg-2ubuntu1.9)

Как я мог изменить машину "по умолчанию" (теперь, это - значение out-from-the-box pc-i440fx-trusty замеченный ниже)?

$ qemu-system-x86_64 -machine help
Supported machines are:    
pc-0.13              Standard PC (i440FX + PIIX, 1996)
pc-i440fx-2.0        Standard PC (i440FX + PIIX, 1996)
pc-1.0-qemu-kvm      Standard PC (i440FX + PIIX, 1996) (alias of pc-1.0)
pc-1.0               Standard PC (i440FX + PIIX, 1996)
pc-q35-1.7           Standard PC (Q35 + ICH9, 2009)
pc-1.1               Standard PC (i440FX + PIIX, 1996)
q35                  Standard PC (Q35 + ICH9, 2009) (alias of pc-q35-2.0)
pc-q35-2.0           Standard PC (Q35 + ICH9, 2009)
pc-i440fx-1.4        Standard PC (i440FX + PIIX, 1996)
pc-i440fx-1.5        Standard PC (i440FX + PIIX, 1996)
pc-0.14              Standard PC (i440FX + PIIX, 1996)
pc-0.15              Standard PC (i440FX + PIIX, 1996)
xenfv                Xen Fully-virtualized PC
pc-q35-1.4           Standard PC (Q35 + ICH9, 2009)
isapc                ISA-only PC
pc-0.10              Standard PC (i440FX + PIIX, 1996)
pc                   Ubuntu 14.04 PC (i440FX + PIIX, 1996) (alias of pc-i440fx-trusty)
pc-i440fx-trusty     Ubuntu 14.04 PC (i440FX + PIIX, 1996) (default)
pc-1.2               Standard PC (i440FX + PIIX, 1996)
pc-0.11              Standard PC (i440FX + PIIX, 1996)
pc-i440fx-1.7        Standard PC (i440FX + PIIX, 1996)
pc-i440fx-1.6        Standard PC (i440FX + PIIX, 1996)
none                 empty machine
xenpv                Xen Para-virtualized PC
pc-q35-1.5           Standard PC (Q35 + ICH9, 2009)
pc-1.0-precise       Standard PC (i440FX + PIIX, 1996) (alias of pc-1.0-qemu-kvm)
pc-1.0-qemu-kvm      Standard PC (i440FX + PIIX, 1996)
pc-q35-1.6           Standard PC (Q35 + ICH9, 2009)
pc-0.12              Standard PC (i440FX + PIIX, 1996)
pc-1.3               Standard PC (i440FX + PIIX, 1996)

Я нашел это в qemu_2.0.0~rc1 разности:

++/* Ubuntu machine types */
++
++static QEMUMachine pc_machine_trusty = {
++ PC_DEFAULT_MACHINE_OPTIONS,
++ .default_machine_opts = "firmware=bios-256k.bin",
++ .hot_add_cpu = pc_hot_add_cpu,
++ .name = "pc-i440fx-trusty",
++ .alias = "pc",
++ .desc = "Ubuntu 14.04 PC (i440FX + PIIX, 1996)", 
++ .init = pc_init_pci,
++ .is_default = 1,
++};

- таким образом, я должен предположить, что это значение является hardcoded и не могло быть изменено, не имея дело с источниками и перекомпилировав qemu?