[PATCH v3 13/19] pc_basic_device_init: pass PCMachineState