In a laptop that has win 7, debian 9.2 has been installed as dual boot. it has installed the mate version of amd64. all work fine, apart from the keypad at the side of the keyboard. even pressing the num lock button, it does not work. any ideas on how to make it work please? i did try to install numlockx but it did change anything.