x86 amd fix apic timer erratum 400