[coreboot-gerrit] Patch merged into coreboot/master: 84463ef Fix compilation when coverage debugging is enabled

the following patch was just integrated into master:
commit 84463efb9448425c9c498425a4fc80b53ed5db73
Author: Stefan Reinauer 
Date:   Fri Apr 5 13:49:55 2013 -0700

Fix compilation when coverage debugging is enabled

With CONFIG_DEBUG_COVERAGE enabled, the build currently fails with

src/lib/gcov-glue.c: In function 'fseek':
    src/lib/gcov-glue.c:87:2: error: format '%d' expects argument of type 'int', but argument 4 has type 'long int' [-Werror=format]
    src/lib/gcov-glue.c:87:2: error: format '%d' expects argument of type 'int', but argument 4 has type 'long int' [-Werror=format]

Change-Id: Iddaa601748c210d9dad06ae9dab2a3deaa635b2c
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/3032
    Reviewed-by: Paul Menzel 
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

Build-Tested: build bot (Jenkins) at Sat Apr  6 01:47:58 2013, giving +1
Reviewed-By: Ronald G. Minnich  at Mon Apr  8 21:35:22 2013, giving +2
See http://review.coreboot.org/3032 for details.

-gerrit