Added files to build loadable kernel driver for 1MHz timer on RPi