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