"plat/arm/css/sgi/include/sgi_sdei.h" did not exist on "ab496a338bbd42b2087b9750902e5134f4d67956"