userboot_getdev
userboot_getdev(NULL, kernelname, &kernelpath);
userboot_getdev((void **)(&rootdev), rootdevname, NULL);
userboot_getdev((void **)(&rootdev), rootdevname, NULL);
extern int userboot_getdev(void **, const char *, const char **);
.arch_getdev = userboot_getdev,