"plat/rpi/rpi3/platform.mk" did not exist on "6d5c61de74c6c2356707f041537e3c66def2b1bc"