Add a missing CONFIG_ prefix