[Differential] [Changed Subscribers] D1810: Leave HYP mode upon startup

[jpa-semihalf.com (Jakub Palider)]

jpa-semihalf.com added a subscriber: jpa-semihalf.com.
jpa-semihalf.com added a comment.

Do you have any concerns regarding these changes? If so, please, let me know.
There is one issue still not solved - current gcc version probably will not be able to handle that. Do we really care?

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

To: zbb, andrew, ian
Cc: jpa-semihalf.com, emaste, marius, imp, freebsd-arm