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