How to Boost IoT Performance by Tuning Linux Drivers