cmake/config: Removes useless entry in   include/config-h.in.cmake

Change-Id: Idfa42015ff570763a8a00546e548ccb26baa7ed2
Signed-off-by: Philippe DENIEL <philippe.deniel@cea.fr>
addr_set: adds a few service function to the API

Change-Id: I46f03ba6d50936455fb69918f333ceb4ae995df7
Signed-off-by: Philippe DENIEL <philippe.deniel@cea.fr>