v2: Added missed IRQ status update on control register write as per
Peter Crosthwaite comment.
Oh, no! Turned out, that is wrong. I wasn't testing that case properly on HW, V1 is correct. Quote from ARM doc "If the timer interrupt is enabled, Interrupt ID 29 is set as Pending in the Interrupt Distributor after the event flag is set."
-- Dmitry
