The irq0 timer interrupt should be initiallised identically with
mach-default.
Signed-off-by: NJames Bottomley <James.Bottomley@HansenPartnership.com>