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