Re: [Dev] HiKey boot issue with recent 96boards/edk2