[coreboot] Patch merged into coreboot/master: 1cd6160 ARMv7: Simplify div64

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 1cd616082100f47dc2d6d73669c6aa2e5eb039ad
Author: Stefan Reinauer <reinauer at chromium.org>
Date:   Thu Feb 14 15:53:18 2013 -0800

    ARMv7: Simplify div64
    
    We don't need the overly complex optimized version, since
    we're only doing this in very few non-critical places.
    
    Also, add the div* files to the bootblock, they're needed
    if we do printk.
    
    Signed-off-by: Stefan Reinauer <reinauer at google.com>
    
    Change-Id: I83bd766d4b03b488326ade1c13b7c364a7119e7b
    Signed-off-by: Ronald G. Minnich <rminnich at gmail.com>
    Reviewed-on: http://review.coreboot.org/2508
    Tested-by: build bot (Jenkins)

Build-Tested: build bot (Jenkins) at Mon Feb 25 16:54:44 2013, giving +1
Reviewed-By: Ronald G. Minnich <rminnich at gmail.com> at Mon Feb 25 17:01:27 2013, giving +2
See http://review.coreboot.org/2508 for details.

-gerrit