x86, percpu: fix minor bugs in setup_percpu.c