Kernel upgrades failing; still have fc37 kernel on fc39

OK, so I see that I should have searched more carefully: