Re: [U-Boot] [U-Boot, v2, 05/24] firmware: ti_sci: Add support for reboot core service