[10:04] <CIA-31> debian-installer: cjwatson * r1526 ubuntu/ (5 files in 2 dirs): Move to 3.0.0-10 kernels.