[coreboot-gerrit] Change in coreboot[master]: include: Deactivate timestamp_get if kconfig option not set

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/22147 )

Change subject: include: Deactivate timestamp_get if kconfig option not set
......................................................................

Patch Set 13:

Build Successful

https://qa.coreboot.org/job/coreboot-checkpatch/17897/ : SUCCESS

https://qa.coreboot.org/job/coreboot-gerrit/62935/ : SUCCESS