Re: [Dev] [BUG] PSCI patch in HiKey Kernel tree breaks booting