Re: [coreboot] Use the constant TSC for AMD Family 10h–15h processors?