Comment 19 for bug 1272720

@Tima, yes that is correct, I have some dkms package installed that needs the headers. I do have the linux-generic package installed and it also pulls the headers in. The problem was that it consequently installed the headers *after* processing dkms.

Since the last few updates, the problem seems to be solved upstream. ( Now running kernel 3.13.0-24-generic at the moment).