Makefile::add tags run option; src/kern-ucore/mm/vmm.[ch]:: fix bug in find_vma, find_vma_rb functions, and update check_vma_struct funciton