PATH_KERNEL
stat(PATH_KERNEL, &st) == 0);
kname = PATH_KERNEL;
memcpy(kname, PATH_KERNEL, sizeof(PATH_KERNEL));
{ PATH_KERNEL, sizeof(PATH_KERNEL) },
memcpy(kname, PATH_KERNEL, sizeof(PATH_KERNEL));
stat(PATH_KERNEL, &st) == 0);
char kernelname[MAXPATHLEN] = PATH_KERNEL; /* XXX bloat */