kernel/debug/debug_core.c: more properly delay for secondary CPUs