bfe55a1f7fd6 ("ACPI: processor: idle: fix lockup regression on 32-bit ThinkPad T40")