Thanks.
FreePBX is already writing an in house Endpoint Manager that is around 150kb and supports all of the phones you have listed.
http://www.freepbx.org/news/2010-07-06/plans-for-the-next-milestone-2-9
It would be great to have your help on that project.
Also the legality of including firmware in a package is questionable.