"plat/rpi/rpi3/include/platform_def.h" did not exist on "7812abac86bed9bd1b4140b51d9b64207da07e01"