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