powerpc/85xx: publish of device for cds platforms