/* Note: set on mi_cpu_attach() and idle_loop(). */