Revert a12d91d but check INITED only on boot CPU. Closes #55.
Revert a12d91d but check INITED only on boot CPU. Closes #55.

project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification