[Hafnium] Re: Could you add a new gicd_set_ctlr() API to set GICD_CTLR to wait until RWP becomes zero?