[PATCH 6.10 484/634] Input: i8042 - add another board name for TUXEDO Stellaris Gen5 AMD line