[PATCH 4.19 19/89] Input: i8042 - add TUXEDO devices to i8042 quirk tables