[PATCH 5.4 034/156] Input: i8042 - add TUXEDO devices to i8042 quirk tables