Yep.  I believe this has been handled by the GPL+LE license used by various other parts of the SDCC project.