Van's suggestion: add a means to let kernel set IP header ident #