Instrumenting a Linux IoT Device Fleet for Service Monitoring