x86: use cpumask_of_cpu()