Hi all, I'm running Ubuntu 22.04.5 LTS on a Dell Precision 5490 with an Intel AX211 wireless card: PCI ID: 8086:272b (rev 1a) Subsystem: 8086:40f0 The device works fine under the standard Ubuntu kernel (6.8.0-60-generic), but fails to initialize under the FIPS kernel (5.15.0-141-fips). Under the FIPS kernel, no wireless interfaces appear (`iwconfig` shows none), and the `iwlwifi` driver does not load.