[Differential] [Accepted] D1810: Leave HYP mode upon startup

[ian (Ian Lepore)]

ian accepted this revision.
ian added a comment.
This revision is now accepted and ready to land.

This looks good to me.

REVISION DETAIL
  https://reviews.freebsd.org/D1810

To: zbb, andrew, ian
Cc: marius, imp, freebsd-arm