Re: [coreboot] [PATCH] Replace the values of APIC timer init with macros