debugging: fixup kernel for SMP off config