Sorry, I replied only to "Erwin" directly and not to the list. Here is the response.
Hello! > Why did you remove all config options/choices ? The options did not exists anymore. ./configure will complain about unknown options. > > - Erwin > > > -- ptxdist mailing list ptxdist@pengutronix.de