[PATCH 1/3] firmware: zynqmp: Enable IPI code calling also in EL3