set_kernel
static error_t set_kernel(menu_t *, menu_cmd_t, char *, char *, size_t);
rv = set_kernel(mp, optnum, val + 1, buf, sizeof (buf));