Patch merged into coreboot/master: drivers/pc80: Add PS/2 mouse presence detect

the following patch was just integrated into master:
commit 448e386309c20ed1d22360e06192b632af0af720
Author: Timothy Pearson 
Date:   Tue Nov 24 14:12:01 2015 -0600

drivers/pc80: Add PS/2 mouse presence detect

On certain Winbond SuperIO devices, when a PS/2 mouse is not
    present on the auxiliary channel both channels will cease to
    function if the auxiliary channel is probed while the primary
    channel is active.  Therefore, knowledge of mouse presence
    must be gathered by coreboot during early boot, and used to
    enable or disable the auxiliary PS/2 port before control is
    passed to the operating system.

Add auxiliary channel PS/2 device presence detect, and update
    the Winbond W83667HG-A driver to flag the auxiliary channel as
    disabled if no device was detected.

Change-Id: I76274493dacc9016ac6d0dff8548d1dc931c6266
    Signed-off-by: Timothy Pearson 
    Reviewed-on: https://review.coreboot.org/13165
    Tested-by: build bot (Jenkins)
    Tested-by: Raptor Engineering Automated Test Stand 
    Reviewed-by: Martin Roth

See https://review.coreboot.org/13165 for details.

-gerrit