cpumask: Optimize cpumask_of_cpu in drivers/misc/sgi-xp/xpc_main.c