Thank you so much. Following your instructions I finaly got both the kernel source and the driver I was trying to compile to install without error messages or configuration edits.