"plat/mediatek/mt8173/drivers/spm/spm_hotplug.h" did not exist on "625de1d4f04b30383354bee944d0a7ca3dba1e67"