[PATCH v4 11/20] pc_basic_device_init: pass PCMachineState