"plat/rpi/rpi3/include/platform_def.h" did not exist on "d83c1db15cc55fccd051ba023ee2cd9ab35dddd5"