Checks cpu_ids contains zero or multiple boot CPU IDs, and make a TODO.
Checks cpu_ids contains zero or multiple boot CPU IDs, and make a TODO.

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