Patch merged into coreboot/master: c4fd297 cpu/amd/geode_lx/Kconfig: Select TSC_MONOTONIC_TIMER

the following patch was just integrated into master:
commit c4fd2973ab7334c810f48d68369b8d0448d0f278
Author: Christian Gmeiner 
Date:   Mon May 27 08:54:25 2013 +0200

cpu/amd/geode_lx/Kconfig: Select TSC_MONOTONIC_TIMER

The following is an excerpt from serial log of the Bachmann OT200.

$ grep usec coreboot_log
    clocks_per_usec: 500
    Root Device init 48034 usecs
    CPU_CLUSTER: 0 init 133251 usecs
    PCI: 00:01.0 init 33376 usecs
    PCI: 00:01.1 init 9930 usecs
    PCI: 00:01.2 init 9929 usecs
    PCI: 00:04.0 init 9929 usecs
    PCI: 00:0f.0 init 185788 usecs
    PCI: 00:0f.2 init 21473 usecs
    PCI: 00:0f.3 init 9930 usecs
    PCI: 00:0f.4 init 9930 usecs
    PCI: 00:0f.5 init 9930 usecs
    PCI: 00:0f.6 init 9930 usecs
    PCI: 00:0f.7 init 9929 usecs

Change-Id: I4d0805c4cf8fcb25ec107615787fc6da0c945a30
    Signed-off-by: Christian Gmeiner 
    Reviewed-on: http://review.coreboot.org/3308
    Tested-by: build bot (Jenkins)

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

-gerrit