[PATCH 0/8] Support VGIC save/restore using device control API