[PATCH 5.15 017/136] Input: i8042 - add additional TUXEDO devices to i8042 quirk tables