[coreboot-gerrit] Patch merged into coreboot/master: 2d9725e drivers/pc80/Kconfig: Do not init PS/2 keyboard if GRUB 2 is chosen as payload

the following patch was just integrated into master:
commit 2d9725e763c480f23a9e649df1424b1dc2fb3cfd
Author: Paul Menzel 
Date:   Sat Apr 26 10:28:19 2014 +0200

drivers/pc80/Kconfig: Do not init PS/2 keyboard if GRUB 2 is chosen as payload

If the user selects GRUB 2 as the payload in Kconfig, coreboot does
    not need to initialize the PS/2 keyboard as GRUB 2 is going to do it.

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

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

-gerrit