Making debuginfod Viable for the Linux Kernel

debuginfod is a service providing debugging symbols, source code, and executables via an HTTP API. Most Linux distributions run a debuginfod server, and many debugging tools make use of it automatically. debuginfod removes the need to manually install debugging symbols, which is a massive usability improvement for debuggers.