Actually, digging in a bit more, it looks like the extlinux configurations are already being generated by the debian package. From what I can see, it has similar functionality allowing a user.cfg to overwrite the automatically generated configuration. Unfortunately, this doesn't seem to have...