Re: [TF-A] RPi4 and CPU hotplugging