/* VCPU is blocked (a.k.a. idle). It is therefore not runnable. */