drivers/mrc_cache: Make CACHE_MRC_SETTINGS not selectable

Don't allow the user to select this manually, since it doesn't build
on platforms that don't use it.

Don't set the bool value so that it doesn't show as not selected in
the .config file of platforms that don't use this.

Change-Id: Icf026a297204868d485be270ccee7e0bec0ac73b
Signed-off-by: Arthur Heymans <>
Tested-by: build bot (Jenkins) <>
Reviewed-by: Martin Roth <>
1 file changed