"plat/rpi/rpi3/include/platform_def.h" did not exist on "07da0bf9768d5fcceb1bf946e8e2f18d790c84be"