Unfortunately I killed my system when trying to apply a BIOS update to check another bug I reported, so I'm not able to confirm your patch (though I don't see any reason why that patch wouldn't work..)
Unfortunately I killed my system when trying to apply a BIOS update to check another bug I reported, so I'm not able to confirm your patch (though I don't see any reason why that patch wouldn't work..)