[virtualization] fix: move vlan_t declaration before it is used
[virtualization] fix: move vlan_t declaration before it is used

This is not required by the cocoon compiler, but is required by the
SMTLib encoding.

ryzhyk/cocoon