Odd, this and linux-kernel-log-d... are the only kernel packages with "linux" in their name. See dlocate -l kernel|awk '{print $2}'|uniq -c