i_cpr_bootcpu
ASSERT(i_cpr_bootcpu() != NULL);
extern cpu_t *i_cpr_bootcpu(void);
bootcpu = i_cpr_bootcpu();
if (cp == i_cpr_bootcpu()) {