I somehow missed this, even though I went through the documentation a few times. Thanks!
All ps2 libraries floating around seem to be based on this one, so I can't use one of them for the second keyboard.
There is a discussion here that seems to be close to what I want(even though I got interrupt pins to spare) but I don't understand the code and can't make it to work. Bummer!