Patch set updated for coreboot: 69f107e drivers/pc80/Kconfig: Mention that GRUB 2 is able to init PS/2 keyboard

[Paul Menzel]

Paul Menzel ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/5582

-gerrit

commit 69f107ecdb8aeec927529f54ac02600cb3a07fed
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 
---
 src/drivers/pc80/Kconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/drivers/pc80/Kconfig b/src/drivers/pc80/Kconfig
index acd1503..37ba6bc 100644
--- a/src/drivers/pc80/Kconfig
+++ b/src/drivers/pc80/Kconfig
@@ -9,7 +9,7 @@ config DRIVERS_PS2_KEYBOARD
      to the PS/2 port.

Some payloads (eg, filo) require this option.  Other payloads
-	  (eg, SeaBIOS, Linux) do not require it.
+	  (eg, GRUB 2, SeaBIOS, Linux) do not require it.
      Initializing a PS/2 keyboard can take several hundred milliseconds.

If you know you will only use a payload which does not require