Hi All,
I was looking for kernel-debug-debuginfo and I noticed that the most recent version available for AArch64 is 4.5.0-23 [1], but my kernel is on 4.5.0-25.
I have worked around on this occation (by just renaming the /usr/src/debug directory,) but I wanted to raise it here in case it is a previosly unknown issue (or an opportunity for me to understand better how things work).
Best regards,
Richard