Added disabled example code for Raspberry Pi 1MHz timer