Re: [PATCH v5 11/20] pc_basic_device_init: pass PCMachineState