[PATCH] i386/x86_64: ACPI cpu_idle_wait() fix