Kenya: 7,000 inmates to be released, freeing jail space