Edit File: sysc_kexec_file_load.stp