* Use debconf to select /etc/fw_env.config from examples.
