[coreboot] Patch merged into coreboot/master: df4917d Remove unused free() function

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit df4917d5d02ea8636c6c20ee1a312301712e7406
Author: Stefan Reinauer <reinauer at chromium.org>
Date:   Wed Jun 6 13:42:09 2012 -0700

    Remove unused free() function
    
    Since coreboot is running very short, we don't free memory.
    Hence, drop (dummy) free()
    
    Change-Id: I6e2737f07c6b9f73ebfad7d124b97a57cb7454a3
    Signed-off-by: Stefan Reinauer <reinauer at google.com>


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

-gerrit