As far as BIOS goes, there is nothing further I can do with the firmware; it is the latest package. Now that the probing works, I could try Tumbleweed again, just for the sake of completeness. I doubt it will make a difference. The same error occurs with Fedora40, which uses kernel 6.8.9 . I think the latest Tumbleweed is 6.9.1 .