On Wed, Sep 13, 2023 at 11:21 PM Mario Limonciello <mario.limonciello@xxxxxxx> wrote: > 2. In better news updating the BIOS fixed the issue in both Linux and > Windows, no kernel patches needed. > > So no further work will be done on this series. Is it easy for users to update BIOS? I.e. does fwupdmgr update work? Or does it require flashing special USB drives with FAT filesystems...? Because I'm not sure all users will do that. Or even be aware that they should. In that case detecting the situation and emitting a dev_err() telling the user to update their BIOS would be desirable I think? Yours, Linus Walleij