[coreboot-gerrit] Patch merged into coreboot/master: 2fba5e2 armv7: import new cache maintenance API from coreboot

the following patch was just integrated into master:
commit 2fba5e27d4aa2cb8f0c96b5e8fb8479f249e8ff8
Author: David Hendricks 
Date:   Thu Mar 14 19:06:11 2013 -0700

armv7: import new cache maintenance API from coreboot

This imports the new cache maintenance API from coreboot at
    commit bba8090. This is a BSD-licensed implementation which
    exposes cache maintenance opertaions necessary for payloads
    for things such as DMA transfers.

Change-Id: I554676db89517bebc6edae4f7ab7e5882e6f986d
    Signed-off-by: David Hendricks 
    Reviewed-on: http://review.coreboot.org/2974
    Tested-by: build bot (Jenkins)

Build-Tested: build bot (Jenkins) at Sat Mar 30 00:19:10 2013, giving +1
See http://review.coreboot.org/2974 for details.

-gerrit