Symbol: IEEE80211_MICBUF_SIZE