[coreboot-gerrit] Patch merged into coreboot/master: 1f04e94 x86: expose tsc's timer_monotonic_get() in SMM

the following patch was just integrated into master:
commit 1f04e94b7915ce599e49a71fd38cb72523c9c887
Author: Aaron Durbin 
Date:   Tue May 12 16:48:31 2015 -0500

x86: expose tsc's timer_monotonic_get() in SMM

The implementation of timer_monotonic_get() for the tsc
    module was being guarded from SMM. Allow this to be
    linked into SMM as the generic spi flash driver now needs
    this support which can be included in SMM.

Change-Id: I3909edecac8de117922c4ea6c53e6e561f6f435b
    Signed-off-by: Aaron Durbin 
    Reviewed-on: http://review.coreboot.org/10187
    Reviewed-by: Stefan Reinauer 
    Tested-by: build bot (Jenkins)

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

-gerrit