input/i8042: Malfunctioning brightness keys on HP Elite Dragonfly G2

[Alex Dewar]

Hi,

I'm running Linux 5.18.7 on an HP Elite Dragonfly G2 laptop, which seems
to use the i8042 driver. Mostly things seem to work (including hotkeys)
except that the increase/decrease brightness keys instead send the "mic
mute" keycode. (The *actual* mic mute key works fine.)

Any ideas? Do we need to add a quirk?

Best,
Alex