"plat/rpi/rpi3/platform.mk" did not exist on "76c944a48db13c29007e1a39a0e1631cc2d4fa4e"