fa64_supported
if ((svcr_expected & SVCR_SM) && !fa64_supported())
if (fa64_supported())
if ((config->svcr_in & SVCR_SM) && !fa64_supported())