add rfc3961.h to kernel sources