zbb marked 3 inline comments as done. zbb added a comment. REVISION DETAIL https://reviews.freebsd.org/D2701 EMAIL PREFERENCES https://reviews.freebsd.org/settings/panel/emailpreferences/ To: zbb, emaste, imp, ian, andrew Cc: emaste, andrew, freebsd-arm-list, imp