Update: applying the before-mentioned patch and rebuilding linux kernel didn't solve the problem. Neither did switching to newest available linux kernel (6.0 at the time of writing). And no, it's not a hardware issue, it's a Linux-specific problem since Windows 10 boots just fine. Dah..