if you get num lock not working once the GNOME session starts, you can fix the problem by following: