[coreboot-gerrit] Patch merged into coreboot/master: include/timer.h: Guard `timer_monotonic_get()` calls by `CONFIG_HAVE_MONOTONIC_TIMER`

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit be70646ccc2d770fb1385c6a9f36e13995014436
Author: Paul Menzel <paulepanter at users.sourceforge.net>
Date:   Tue Oct 20 22:27:05 2015 +0200

    include/timer.h: Guard `timer_monotonic_get()` calls by `CONFIG_HAVE_MONOTONIC_TIMER`
    
    Some platforms do not have `timer_monotonic_get()` implemented. So only
    call `timer_monotonic_get()` if `CONFIG_HAVE_MONOTONIC_TIMER` is
    selected and set the times to 0 otherwise.
    
    Change-Id: If9cba4c0c17a7011aa357079d8fdd0aa47ad1b66
    Signed-off-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-on: http://review.coreboot.org/12105
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin <adurbin at chromium.org>


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

-gerrit