"plat/rpi/rpi4/include/platform_def.h" did not exist on "8ebf806fc5a33a1061c91f0af7dc5569836e955b"