"plat/arm/common/arm_bl31_setup.c" did not exist on "35ca35119d9dc51f1665184ab6db5e2861c213b4"