"plat/arm/board/tc0/tc0_bl31_setup.c" did not exist on "39b66f68d803f5ee585d17e316fc7adc185a53c5"