nicira-ext: Explicitly assign each extension message type a number.