Fix tizen-platform-config