kernel: cpu: fixup