i can't seem to figure out how to get the kernel-source package to upgrade. i can do the kernel with -o RPM::Upgrade-Kernel=yes, but i haven't discovered how to make kernel-source upgrade. are the apt files on the server correct?