[PATCH 6.1 290/798] Input: i8042 - add another board name for TUXEDO Stellaris Gen5 AMD line