[coreboot-gerrit] Patch merged into coreboot/master: google/reef: disable unused devices

the following patch was just integrated into master:
commit 6dfe25dc8b737e8c66f690cd3676dc0f4b96934f
Author: Jagadish Krishnamoorthy 
Date:   Thu Jun 23 12:50:01 2016 -0700

google/reef: disable unused devices

BRANCH=none
    BUG=chrome-os-partner:54325, chrome-os-partner:54581
    TEST=device off in devicetree should disable the device.

Change-Id: I5dada06cba0eea8a30f297e3a6940a36b2ff40ee
    Signed-off-by: Jagadish Krishnamoorthy 
    Reviewed-on: https://review.coreboot.org/15339
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

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

-gerrit