hw/ppc: migrating the DRC state of hotplugged devices