Synopsis: hpcarm and ozaurus boot failed with "*ptep == opte" failed State-Changed-From-To: open->closed State-Changed-By: msaitoh%NetBSD.org@localhost State-Changed-When: Fri, 12 Dec 2014 05:22:07 +0000 State-Changed-Why: Submiiter reported it was fixed. Thanks.