x86: Under BIOS control, restore AP's APIC_LVTTHMR to the BSP value