CPU_STATE_CONFIGURED
if (pcpu->state != CPU_STATE_CONFIGURED)
per_cpu(pcpu_devices, cpu + i).state = CPU_STATE_CONFIGURED;
pcpu->state = CPU_STATE_CONFIGURED;
if (pcpu->state != CPU_STATE_CONFIGURED)
ipl_pcpu->state = CPU_STATE_CONFIGURED;