ACPI: idle: rename lapic timer workaround routines