plat_prom_preserve_kctx_is_supported
} else if (!plat_prom_preserve_kctx_is_supported()) {
static int plat_prom_preserve_kctx_is_supported(void);