No keyboard is "hard locked", it's just a matter of reassigning the key values that are passed to the Bios from the hardware. Now, if there are multiple entry points into the Bios, then there are problems. I figure that's the case with the 5670.
Besides, PCMagazine has a utility for a few bucks that will do the trick too. I haven't tried it, but I hear it works fine.