[coreboot] Patch merged into coreboot/master: f572e1e Update gcov patch in documentation

the following patch was just integrated into master:
commit f572e1e5fca59215461bb9ba3de56882b762b345
Author: Stefan Reinauer 
Date:   Wed Jan 16 09:47:54 2013 -0800

Update gcov patch in documentation

.. to reflect the recent changes w.r.t avoiding
    trouble with the coreboot pre-commit hooks.

and fix two whitespace errors.

Change-Id: I6c94e95dd439940cf3b44231c8aab5126e9d45c7
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/2158
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich 
    Reviewed-by: Martin Roth

Build-Tested: build bot (Jenkins) at Thu Jan 17 02:00:38 2013, giving +1
See http://review.coreboot.org/2158 for details.

-gerrit