get_bsdbootname
get_bsdbootname(char **dev, char **kname, int *howtop)
get_bsdbootname(char **dev, char **kern, int *howtop)