> For Ubuntu kernels, use linux-source-*, not kernel-source-*. Most of the > kernel-* packages are imports from Debian. Seems like a consistent source of confusion, is there a reason we're keeping both kernels? Can we name them something different? -Chuck