Patch merged into coreboot/master: 5626d8f t132: bring up 64-bit denver core

the following patch was just integrated into master:
commit 5626d8f59a4a70da4724e778a38e0fe6847fa5d8
Author: Aaron Durbin 
Date:   Thu Jul 10 12:50:27 2014 -0500

t132: bring up 64-bit denver core

The startup sequence for cpu0 is implemented while also
    providing a trampoline for transitioning to 64-bit mode because
    the denver cores on t132 come out of cold reset in 32-bit mode.
    Mainboard callbacks are provided for providing the board-specific
    bits of the bringup sequence.

BUG=chrome-os-partner:29923
    BRANCH=None
    TEST=Built and booted through ramstage.

Original-Change-Id: I50755fb6b06db994af8667969d8493f214a70aae
    Original-Signed-off-by: Aaron Durbin 
    Original-Reviewed-on: https://chromium-review.googlesource.com/207263
    Original-Reviewed-by: Furquan Shaikh 
    Original-Reviewed-by: Stefan Reinauer 
    (cherry picked from commit 17f09bf4bdb43986c19067ca8fd65d4c5365a7c6)
    Signed-off-by: Marc Jones

Change-Id: I14d99c24dd6e29a4584c8c548c4b26c92b6ade97
    Reviewed-on: http://review.coreboot.org/8586
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

See http://review.coreboot.org/8586 for details.

-gerrit