[PATCH v5 00/10] Support VGIC save/restore using device control API