"plat/rpi/rpi4/aarch64/plat_helpers.S" did not exist on "d83c1db15cc55fccd051ba023ee2cd9ab35dddd5"