Hi!
Odds of a BIOS fix appear to be low: 1.57 was released over 6 years ago
and although the [BIOS changelog] notes "Fixed an issue of UEFI
touchpad/trackpoint/keyboard/touchscreen" in 1.58, it appears to be
insufficient.
Adding 33474HU to the nomux list avoids the issue on my system.
This patch is known bad, and is reverted as a step 93/ in this
series. I believe it would be better to remove this and the revert
before -stable kernel is released.