updated headers for kernel 3.2