Ah! Indeed, yes, I am running 6.2.8-lp154.3.gc9a94ac-default, and some times a patched 15.5 kernel in this laptop. Without it, WiFi doesn't work (Bug 1209980). Sigh, everything is connected :-(