[coreboot-gerrit] Patch merged into coreboot/master: 017287a ipq8064: make timer services available

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 017287a6f79852b6fd26e527684ef0243ead639d
Author: Marc Jones <marc.jones at se-eng.com>
Date:   Mon Dec 29 16:52:59 2014 -0700

    ipq8064: make timer services available
    
    Make sure it is initialized at different stages.
    
    BUG=chrome-os-partner:27784
    TEST=manual
    . not much at this point, just verified that it compiles
    
    Original-Change-Id: I343e7a6648e2ca935606cd76befd204aabd93726
    Original-Signed-off-by: Vadim Bendebury <vbendeb at chromium.org>
    Original-Reviewed-on:
    https://chromium-review.googlesource.com/196592
    (cherry picked from commit aedc41924313e5c21aef97b036f5a0643d59082d)
    Signed-off-by: Marc Jones <marc.jones at se-eng.com>
    
    Change-Id: I4a90ae5ba6c9a561b7d5c938d18b6ea2b855855f
    Reviewed-on: http://review.coreboot.org/7981
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Edward O'Callaghan <eocallaghan at alterapraxis.com>
    Reviewed-by: Kyösti Mälkki <kyosti.malkki at gmail.com>


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

-gerrit