[LinuxBIOS] INIT detected.

[Steve Isaacs]

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