[RFC PATCH v2 53/56] kconfig: Drop CONFIG_VAL()