Comment 18 for bug 1537125

------- Comment From <email address hidden> 2016-03-01 03:09 EDT-------
Hi Mark,

> > * Fix finding the debug info for Ubuntu kernels (Mark Wielaard). LP:
> > #1537125.
> Just a note that the patch that went upstream is slightly different.
> It is a bit more efficient by removing duplicate searches.

This "slightly different" means change find_debuginfo_path such that it will look for both kind of files - without and with .debug suffix instead of calling find_debuginfo_path twice. Right?
Please let me know if you are pointing to something else.

- Ravi