[PATCH 5.15 312/691] Input: i8042 - add another board name for TUXEDO Stellaris Gen5 AMD line