"plat/rpi/rpi3/include/platform_def.h" did not exist on "4a581b061c63cbfd68809e4a87b531a0ff75a085"