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