efi: Renames in handle_cmdline_files() to complete generalization.