Technically they just need to update the config elements in this file (or a property file) and run make in the pushHeadless directory. Make comes with bbndk i believe. They however, may not have bbndk.  I'll definitely look into possibly using some sort of property file that can be read at runtime to avoid any rebuilding of the native portion.