You are really too good to be true. It worked like a charm, thank you very much.
By the way, I think I am starting to grasp the concept of DSDT patching, but I need some directions. In this problem, for example, how can one tell that keyboard is defined at KBC0, instead of PS2K? Is there any...