Fix a Kconfig warning

Change-Id: I066f6399aad2191ace776a860ce6eec5b03d400d