Patch merged into coreboot/master: 7ac7627 drivers/pc80/Kconfig: Mention that GRUB 2 is able to init PS/2 keyboard

the following patch was just integrated into master:
commit 7ac7627546d8d89d63abe06b7a0df1861f10eabf
Author: Paul Menzel 
Date:   Sat Apr 26 10:22:43 2014 +0200

drivers/pc80/Kconfig: Mention that GRUB 2 is able to init PS/2 keyboard

Change-Id: I0783ee123e0e1ecd5603bc6a40b53d3b0c23bf6d
    Signed-off-by: Paul Menzel 
    Reviewed-on: http://review.coreboot.org/5582
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

See http://review.coreboot.org/5582 for details.

-gerrit