[Arm-dev] kernel-debug-debuginfo missmatch?

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

1. http://debuginfo.centos.org/7/aarch64/kernel-debug-debuginfo-4.5.0-23.el7.aa...