You should discuss your changes on the developers form Redirecting to Google Groups, clone/fork the Arduino respository and do a pull request. The better you present your changes on the forum the quicker the pull request is merged. If you check the Arduino git respository you can figure out who are the maintainers.
Cheers!
PS: Sorry about the bad link to the forum.