Some cleanup on RPi timer code