"plat/rpi3/include/platform_def.h" did not exist on "3642ca951bfd06afbd8024b295ce3c14860024b3"