Patch from Ben Dooks

Select the PCLK based TIMER4 to provide the system timer tick
if there is no machine specific timer setup specified. This
should make it easier to add new machines, as well as cut down
on the code required in time.c when they are added.

Signed-off-by: Ben Dooks