ちなみにcd73.isoだとどうもUEFIに対応していないようで[*1]，うんともすんとも言わなくなってしまうので注意。miniroot73.isoを用意する必要があるが，-cdrom cd73.isoで済んだ導入媒体の指定が，-drive file="${0%/*}/miniroot73.img",if=none,media=disk,id=usbstick,format=raw -usb -device usb-ehci,id=ehci -device usb-storage,bus=ehci.0,drive=usbstickという激長クソ複雑なcommand lineになってしまう。いやまあ，これですんなり通るから文句はないんだけども……。