@florianl suggested an alternate mechanism of loading kernel sources directly into gdb, instead of building with debug symbols. https://github.com/elastic/ebpf/pull/111#discussion_r914889086 Discuss and update the documentation to reflect this.