Re: [Stratos-dev] Configuring the host GIC for guest to guest IPI