Synopsis: armgtmr0 timer broken State-Changed-From-To: feedback->closed State-Changed-By: martin%NetBSD.org@localhost State-Changed-When: Sun, 01 May 2016 18:20:59 +0000 State-Changed-Why: Yes (forgot the details but the failures is gone)