Patch merged into coreboot/master: 147cdc3 Revert "ARMv7: Simplify div64"

the following patch was just integrated into master:
commit 147cdc3b171c8f02434dc3b6bbd70b6406de93ee
Author: David Hendricks 
Date:   Thu Mar 7 00:58:10 2013 +0100

Revert "ARMv7: Simplify div64"

This reverts commit 1cd616082100f47dc2d6d73669c6aa2e5eb039ad

Division bites us again. I don't know how or why, but printk() seems to break (again) with this patch. I'm surprised we didn't encounter problems earlier on...

Change-Id: I81cb9f20879f5eb73a76e1af47b96a68d1e81dc8
    TODO: Find a better solution for div64. This one is too painful, but seems necessary for now (and sort-of works with our vtxprintf hack).
    Reviewed-on: http://review.coreboot.org/2600
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

Build-Tested: build bot (Jenkins) at Thu Mar  7 01:09:33 2013, giving +1
Reviewed-By: Ronald G. Minnich  at Thu Mar  7 06:45:38 2013, giving +2
See http://review.coreboot.org/2600 for details.

-gerrit