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