Add "/lib/modules/<version>/build" to the list of directories that
are searched for the currently-running kernel on live systems.  This
will automatically locate the vmlinux namelist for kernels that were
locally installed with "make modules_install install".
(lrintel@redhat.com)