CFE_TO_KERNEL_PTR
ksym_start = (void *)CFE_TO_KERNEL_PTR(bootinfo.ssym);
ksym_end = (void *)CFE_TO_KERNEL_PTR(bootinfo.esym);
cfe_init(CFE_TO_KERNEL_PTR(bootinfo.fwhandle),
CFE_TO_KERNEL_PTR(bootinfo.fwentry));