[PATCH 2/2] Revert "ACPI: processor: idle: fix lockup regression on 32-bit ThinkPad T40"