Machine support files are now expected to provide a sys_timer
structure which encapsulates everything to do with the kernels
system timer, and provides elegant with the system device model.
In addition, it provides the relevant power management hooks.