Hi, I have used your kext and applied the necessary DSDT patches, everything works fine!
But I got one more improvement that I can think of, but I don't know if that's possible or not.
You can make the kext turn on num-lock automatically when boots up, or you can add an option in the config.plist that can be switched on or off, depending if the user needs it or not!
Hope it would be possible, it would be useful for some laptops that don't have the option to turn on num-lock automatically in the BIOS anyway.
Keep up your great works!
Thanks