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