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