Re: patch to fix psci_smp_avaliable build error