I have very big problem with F24 the legitimate release kernel. Here is the situation:
 The uname -r command gives me the following: 4.7.2-201.fc24.x86_64
 The directory /lib/modules gives me the following: 4.7.2-201.fc24.x86_64
 The directory /usr/src/kernels gives me the following: 4.7.2-201.fc24.x86_64+debug
Do you have the same problem in rawhide (F25), or you already noticed and fixed this problem???
Thank you in advance,