Could it be that we search .../build because of vmlinux? If one
makes a
custom kernel and does a "make modules_install", then all of the modules
get copied into /lib/modules/RELEASE/kernel/, but the unstripped,
uncompressed vmlinux is only available in the original build path.
I think it was stap users doing this and requesting it work that I was
thinking of.