cpuinit fixes in kernel/*