fix platforms attribute in PlatformDeviceExtension to return child platform devices