update config_file_specified in kernel app

it's a set now