I couldn’t find anything in the wireless section on this issue. Here is some information and resources.
Interesting, didn't see anything directly related in the 25.13 firmware notes. The closest thing I see is this
25.13 was released before this vuln was made public wasn't it? If so they likely wouldn't have been able to put anything in the notes about it.