[U-Boot] [PATCH v4 01/12] x86: coreboot: Set up timer base correctly