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