[PATCH v3 76/81] kconfig: Drop CONFIG_VAL()