pc: Use PCMachineState for pc_cmos_init() argument