Keyboard device documentation incomplete

[vhotspur]

• [ ] The example for adding a keyboard does not contain the interrupt number.
• [ ] Document now interrupt is delivered (i.e., to the first CPU)
• [ ] Document how the number is used (mip on RISC-V and cause on MIPS)