[coreboot-gerrit] Patch merged into coreboot/master: 1ec065b drivers/pc80/Kconfig: simplify PS/2 selection rules

the following patch was just integrated into master:
commit 1ec065bffae5233202ec1e64f3a2fb541da3784e
Author: Patrick Georgi 
Date:   Fri May 2 15:08:46 2014 +0200

drivers/pc80/Kconfig: simplify PS/2 selection rules

There's no need to state the dependency twice.

Change-Id: Ia241d441211c6f476d0a6ed7589b038f7a220265
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/5633
    Reviewed-by: Paul Menzel 
    Tested-by: build bot (Jenkins)
    Reviewed-by: Edward O'Callaghan 
    Reviewed-by: Ronald G. Minnich

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

-gerrit