Since kernel.h was removed autoconf.h has to be included in many places