[coreboot-gerrit] Patch merged into coreboot/master: 127525c coreboot: add memory pool infrastructure

the following patch was just integrated into master:
commit 127525c772f82a214a13899a344c5fa24f4f10a8
Author: Aaron Durbin 
Date:   Thu Mar 26 12:29:12 2015 -0500

coreboot: add memory pool infrastructure

The memory pool infrastructure provides an allocator with
    very simple free()ing semantics: only the most recent allocation
    can be freed from the pool. However, it can be reset and when
    not used any longer providing the entire region for future
    allocations.

Change-Id: I5ae9ab35bb769d78bbc2866c5ae3b5ce2cdce5fa
    Signed-off-by: Aaron Durbin 
    Reviewed-on: http://review.coreboot.org/9129
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit