[PATCH] Fix compilation of processor_idle.c on IA64