Timing issues with RPi GPIO misc char driver