if define power off gpio, BL31 will do system power off through gpio control.
Attach a file by drag & drop or click to upload