Can some, please, apply the following patch to the fedora kernel? http://marc.info/?l=linux-kernel&m=133072333922354&w=2 . It sets the NumLock state on the keyboard according to the data in the bios.