That makes sense. So we need the uncompressed vmlinux under build/
for
the debuginfo? Then wouldn't it be possible to only reach into build/
for the vmlinux file and not traverse it fully also for the modules
(which are under kernel/)?
The "find-like" logic only applies to looking for modules, not vmlinux.