[coreboot-gerrit] Patch merged into coreboot/master: b11be32 build system: use platform specific ar(1) for libverstage

the following patch was just integrated into master:
commit b11be321a895aa70adeaa8cb92fcfcd5dcbd748c
Author: Patrick Georgi 
Date:   Thu May 7 22:27:01 2015 +0200

build system: use platform specific ar(1) for libverstage

Shouldn't be necessary, doesn't hurt either.

Change-Id: I4fa5cc2931523b5beac5ea5126e3e8b841446017
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/10140
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin 
    Reviewed-by: Stefan Reinauer 
    Reviewed-by: Paul Menzel

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

-gerrit