[ACPI] fix 64-bit build warning in processor_idle.c