[coreboot-gerrit] Patch merged into coreboot/master: d96541f armv7: mark EABI compatibility symbols as used

the following patch was just integrated into master:
commit d96541f3fc934fa27b800a07ccf0597bd5a80dd5
Author: Stefan Reinauer 
Date:   Tue Sep 10 11:02:58 2013 -0700

armv7: mark EABI compatibility symbols as used

These symbols are not used anywhere in our C code, so
    when using GCC's link time optimization feature they
    will be dropped even though they're needed by libgcc.
    Hence we need to mark them as used so GCC does not stumble
    and fall over its own guts.

Change-Id: Ib2e9ea2610b57ab8244d5b699dd56025a4f08a01
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: https://chromium-review.googlesource.com/168773
    (cherry picked from commit 416ffc880bcf4122b5430fbd9d9547c83886af2f)
    Signed-off-by: Isaac Christensen 
    Reviewed-on: http://review.coreboot.org/6640
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi 
    Reviewed-by: Paul Menzel

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

-gerrit