Hello,
so this problem recently just popped up, first it was just the right arrow key, then the Num Pad also stopped working, just the right arrow key by the way.
I know that it is not a hardware problem because the keyboard software on windows 10 doesn't work either and also in the BIOS...