Appears since dist upgrade from 12.04. Similar DKSM log as in the comment #79 -- starting with: "make[1]: Entering directory `/usr/src/linux-headers-3.13.0-44-generic'" and missing "include/generated/autoconf.h".
Appears since dist upgrade from 12.04. Similar DKSM log as in the comment #79 -- starting with: "make[1]: Entering directory `/usr/src/ linux-headers- 3.13.0- 44-generic' " and missing "include/ generated/ autoconf. h".