UPDATE
After installing linux-headers-3.13.0-7-generic manually and re-installing linux-image-3.13.0-7-generic the problem seems solved.
Not that I fully understand what happened but nevertheless... :-)
UPDATE
After installing linux-headers- 3.13.0- 7-generic manually 3.13.0- 7-generic
and re-installing linux-image-
the problem seems solved.
Not that I fully understand what happened but nevertheless... :-)