Patch merged into coreboot/master: 108548a armv7: Add fine-grained page table support

the following patch was just integrated into master:
commit 108548a42aa3a255bd84247549cd1bf406a152f1
Author: Julius Werner 
Date:   Thu Oct 9 17:31:45 2014 -0700

armv7: Add fine-grained page table support

This patch adds an mmu_config_range_kb() function, which can set memory
    types at the 4KB level by chaining a fine-grained page table to an
    existing superpage entry. It is only intended for special cases where
    this level of precision is really necessary and therefore comes with a
    few practical limitations (the area for each invocation must be confined
    within a single superpage, and you are not allowed to remap the same
    region with mmu_config_range() again later). Since the fine-grained page
    tables need some space, boards intending to use this feature must define
    a TTB_SUBTABLES() region in their memlayout.ld.

BUG=chrome-os-partner:32848
    TEST=Booted both Veyron_Pinky (normal) and Nyan_Blaze (LPAE), ensured
    that they still work. Checksummed the page tables with and without this
    patch, confirmed that they end up equal. Hacked in some subtable test
    entries, hexdumped all tables and manually confirmed that they look as
    expected.

Change-Id: I8c3eb7c2eb9c82e2abc5f2c0dda91f5b2eee7023
    Signed-off-by: Patrick Georgi 
    Original-Commit-Id: 2f13e60cf5509b9a63fb7b8d84846daf889dc1b7
    Original-Change-Id: Iedf7ca435ae337ead85115200d6987fb0d4828d7
    Original-Signed-off-by: Julius Werner 
    Original-Reviewed-on: https://chromium-review.googlesource.com/223781
    Reviewed-on: http://review.coreboot.org/9341
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit