[GSoC PATCH 7/9] Jailhouse driver: Implementation of DomainShutdown/Destroy callbacks