Is Debian 11 (bulleyes) not supported yet on the latest MLNX_OFED 4.9 LTS driver?

Can’t find Debian 11.2 in OS section on download page.

The change required to get the code build on Debian 11 kernel is manageable.
It wasted me quite some time to figure it out, but here is my change to get it work.
It’s based on the 4.9-4.1.7.0 version though. Didn’t bother to upgrade the driver yet…