[coreboot-gerrit] Patch merged into coreboot/master: drivers/pc80: Do not initialize PS2 keyboard by default

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 6aa8c5bc5850e0c3e0037742ea990d0ff74ea303
Author: Alexandru Gagniuc <mr.nuke.me at gmail.com>
Date:   Tue Mar 3 22:37:44 2015 -0600

    drivers/pc80: Do not initialize PS2 keyboard by default
    
    The most common payloads do not need this set, so optimize for the
    common case.
    
    Change-Id: I2e5b68d74e9b91b41bbbcffc17d31d5c1bb38fd4
    Signed-off-by: Alexandru Gagniuc <mr.nuke.me at gmail.com>
    Reviewed-on: http://review.coreboot.org/8599
    Tested-by: build bot (Jenkins)
    Reviewed-by: Marc Jones <marc.jones at se-eng.com>


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

-gerrit