bsd_boot
bsd_boot (kernel_type, bootdev, (char *) mbi.cmdline);
void bsd_boot (kernel_t type, int bootdev, char *arg)