[PATCH 30/32] kconfig: Drop CONFIG_VAL()