Synopsis: armgtmr0 timer broken State-Changed-From-To: open->feedback State-Changed-By: skrll%NetBSD.org@localhost State-Changed-When: Sun, 01 May 2016 16:23:41 +0000 State-Changed-Why: I think we fixed this. ok to close?