kernel/cpu.c: fix many errors related to style.