kernel/cpu.c: make set_cpu_* static inlines