[coreboot-gerrit] Patch merged into coreboot/master: fadbe5f build: make scan-build work again

the following patch was just integrated into master:
commit fadbe5f657147f5232b2e0ad2a2a8b654cbeb219
Author: Patrick Georgi 
Date:   Sat May 17 18:26:38 2014 +0200

build: make scan-build work again

This drops the scan-build related Kconfig options
    since it's now possible to simply run

scan-build [-o outdir] make

and get coreboot built with its report.

There's also no inner make process anymore, and the way
    things work should be clearer now.

Also adapt abuild to this new reality.

Change-Id: I03e03334761ec83f718b3235ebf811834cd2e3e3
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/5774
    Tested-by: build bot (Jenkins)
    Reviewed-by: Kyösti Mälkki

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

-gerrit