openvswitch.h: Note that 64 bit ints are 4-aligned.