Comment 6 for bug 873409

I have followed up with the dpkg command with the -D10 option (why is it always the kernel headers?), followed by a repeat of the apt-get install -f command (again this is on an already installed system), and I got the same results as Jan. Now everything is sunshine and rainbows and kittens on my system. Thanks for the tip!