bootMP
u_char *src = (u_char *) ((u_long) bootMP);
u_int boot_base = (u_int) bootMP;
void bootMP(void);