fix: avoid dangling pointer in vCPU Ec

The memory of ECs for this Genode/Nova branch are reused. For a vCPU Ec the
utcb pointer must be null, otherwise bad bad things happen ...

Explicitly set utcb to nullptr for vCPU Ecs.

Fixes instabilities of kernel when VMs are created and destroyed dynamically.