make CROSS_COMPILE=aarch64-linux-gnu- PLAT=<platform> DEBUG=1 bl31

此处有错误, 实测应该是这个：
make CROSS_COMPILE=aarch64-none-elf- PLAT=sun50i_h616 DEBUG= bl31

解释：
三元组不对，目标平台none，生成格式elf，固件没有目标平台（linux）