noux: reinitialize Genode::config