[PATCH v5 07/10] trace: remove control-vcpu.h