cpu_init_kcore_hdr
void cpu_init_kcore_hdr(void);
cpu_init_kcore_hdr(); /* need to be done before pmap_bootstrap */