Is this message normal or does it indicate a problem that needs to be
corrected?
INIT detected from ---- {APICID = 00 NODEID = 00 COREID = 00} ---
Issuing SOFT_RESET...
Looking at the code this is emitted in model_fxx/init_cpus.c when
cpu_init_detectedx is non-zero.
Thanks,
Steve