Patch merged into coreboot/master: 12de698 arm: Import armv7_dcache_wbinv_all function from NetBSD

the following patch was just integrated into master:
commit 12de698c248e52a14cbb56f5fc3c4598115d72ef
Author: Julius Werner 
Date:   Mon Jan 13 11:13:23 2014 -0800

arm: Import armv7_dcache_wbinv_all function from NetBSD

This patch pulls in NetBSD's full cache flushing algorithm for ARM, to
    replace our old, slow and slightly overzealous C-only implementation.
    It's a beautiful piece of code that manages to run on only caller-saved
    registers (meaning it doesn't need to write to memory) in a very tight
    loop, and it's BSD-licensed to boot (which we need for libpayload).
    Unfortunately it's also not quite correct, but I can fix that. Pulling
    the original in a separate commit to make it more obvious what changes
    are mine.

Change-Id: I7a71c9e570866a6e25f756cb09ae2b6445048d83
    Signed-off-by: Julius Werner 
    Reviewed-on: https://chromium-review.googlesource.com/183878
    Reviewed-by: Stefan Reinauer 
    Reviewed-by: Vincent Palatin 
    Reviewed-by: David Hendricks 
    (cherry picked from commit 4698467320613d7ddc39714f40aacbc990af9399)
    Signed-off-by: Isaac Christensen 
    Reviewed-on: http://review.coreboot.org/6931
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

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

-gerrit