The text 4d7e0342b1dd, as FreeBSD 11.4-RELEASE shipped it.
802.11 cryptographic support
ieee80211_notify_michael_failure(9) on FreeBSD now