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

the following patch was just integrated into master:
commit 1cd616082100f47dc2d6d73669c6aa2e5eb039ad
Author: Stefan Reinauer 
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

Change-Id: I83bd766d4b03b488326ade1c13b7c364a7119e7b
    Signed-off-by: Ronald G. Minnich 
    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  at Mon Feb 25 17:01:27 2013, giving +2
See http://review.coreboot.org/2508 for details.

-gerrit