kernel/cpu.c: eliminate cpu_*_mask