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