Clarify the note about Thumb-2 kernel support.
Submitted by: andrew Sponsored by: The FreeBSD Foundation