"plat/arm/board/tc0/tc0_bl31_setup.c" did not exist on "69be9154eda9b92587990617df8788428a670645"