[coreboot-gerrit] Patch merged into coreboot/master: 3fa1a13 dmp/vortex86ex: Initialize PS/2 keyboard.