ETC_FILE_LIST
path, rootarg, platarg, BOOT_FILE_LIST, ETC_FILE_LIST);
(void) read_one_list(root, flistp, ETC_FILE_LIST);