Update ps2_keyboard.vhd

Documentation update