[coreboot] Patch merged into coreboot/master: 8bc10b7 armv7: delete some unused files

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 8bc10b74dc36cdefdfb5a1c4457d44d9ec32fa15
Author: David Hendricks <dhendrix at chromium.org>
Date:   Wed Jan 9 16:12:23 2013 -0800

    armv7: delete some unused files
    
    Change-Id: I4601b97cbd7dbfb6ee742b3920d2aac4ac49b958
    Signed-off-by: David Hendricks <dhendrix at chromium.org>
    Reviewed-on: http://review.coreboot.org/2121
    Tested-by: build bot (Jenkins)
    Reviewed-by: Hung-Te Lin <hungte at chromium.org>

Build-Tested: build bot (Jenkins) at Thu Jan 10 03:27:12 2013, giving +1
Reviewed-By: Hung-Te Lin <hungte at chromium.org> at Thu Jan 10 12:18:51 2013, giving +2
See http://review.coreboot.org/2121 for details.

-gerrit