Re: [PATCH 1/3] netlink: Sequence numbers are actually 32 bits wide