"plat/rpi3/rpi3_trusted_boot.c" did not exist on "5cc34b10b0f64faa27901256aed7a26223f072d0"