[coreboot-gerrit] Patch merged into coreboot/master: armv7: mmu: Make fine grained page tables work across stages

the following patch was just integrated into master:
commit 03a0a6517210b4f53082a499df2a7e743ae7452e
Author: Julius Werner 
Date:   Tue Sep 29 17:28:15 2015 -0700

armv7: mmu: Make fine grained page tables work across stages

Among its other restrictions (which are noted in a comment above the
    function prototype and stay in place), our makeshift fine-grained page
    table support for ARM32 has the undocumented feature that it relies on
    a global bookkeeping variable, causing all sorts of fun surprises when
    you try to use it from multiple stages during the same boot. This patch
    redesigns the bookkeeping to stay completely inline in the (persistent)
    TTB which should resolve the issue. (This had not been a problem on any
    of our platforms for now... I just noticed this because I was trying to
    solve the same issue on ARM64.)

BRANCH=None
    BUG=None
    TEST=Booted veyron_jerry. Mapped a second fine-grained memory range
    from romstage, confirmed that it finds the next free spot and leaves the
    bootblock table in place.

Change-Id: I325866828b4ff251142e1131ce78b571edcc9cf9
    Signed-off-by: Julius Werner 
    Reviewed-on: http://review.coreboot.org/12074
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin 
    Reviewed-by: Alexandru Gagniuc

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

-gerrit