configure.ac: pass kernel source path