[PATCH 5.13 057/156] firmware: arm_scmi: Add SMCCC discovery dependency in Kconfig