[PATCH 5.10 222/518] Input: i8042 - add another board name for TUXEDO Stellaris Gen5 AMD line