Thank you very much! I tried dropping the hotfix file on the root of the Kindle and rebooting again, but unfortunately, it didn't work. However, your suggestion gave me an idea. I moved the hotfix file to the mrpackages folder and installed it with log mrpi, and voilą, it worked!
Thanks again for your help!