A Benchmark for Microcontroller Development Kits