With hardly 800K in size, the patch is a lightweight that could have a big influence. If that's not the right place to use the word of the year, where else: W00t.
I just installed it and so far, the keyboard works fine, but of course I haven't sent the box to sleep yet, so by now I can't tell yet if the patch actually fixed the bug. Of course, the reboot the update asked for promptly resulted in a kernel panic (great start), but luckily, another reboot went through without problems.
If you like, please let me know in the comments if the patch worked for you or not. Good luck!
(Thanks Justin, Jean Pierre and Marc, who all told me about the update being available.)