destroying a vCPU will leak its AddressSpaces