As a general rule, hot keys cannot differentiate which keyboard they come from. USB Device Key triggers can usually differentiate between non-identical keyboards, but they do not swallow the key stroke, so they are not generally useful for keys that have an action already (such as number pad keys) (see Frequently Asked Questions for more info on this topic).
You might like to try a keypad like the XK-24 or similar.