[PATCH 5.10 052/139] Input: i8042 - add TUXEDO devices to i8042 quirk tables