Fixed a kernel crash and simplified vxlan header checking.
When the header is malformed, we are incrementing error counts on a
vport. In this case vport has not been initialized with right value, so
we just crash.