[U-Boot] [PATCH v4 02/12] x86: Allow a hardcoded TSC frequency provided by Kconfig