[coreboot-gerrit] Patch merged into coreboot/master: seabios integration: fix interaction with ccache

the following patch was just integrated into master:
commit c983671f3d453c24c07649c056110683491a9da2
Author: Patrick Georgi 
Date:   Sat Aug 8 21:35:38 2015 +0200

seabios integration: fix interaction with ccache

SeaBIOS' build system doesn't like CC to be a compound command like
    "ccache gcc", so we strip things. Unfortunately with CCACHE enabled,
    we passed /usr/bin/ccache (or wherever it was found on the PATH).
    Instead use the second term in CCACHE mode.

Change-Id: I905fcdc73d067e553e923e307fafceaacdefdc6c
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/11138
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit