[TRE-2706] Replace device-manager-plugin-rpi3 with hal-backend-device-rpi