[PULL 11/20] pc_basic_device_init: pass PCMachineState