Add linux_timer.c from HEAD r271743