machine_kexec_file.c revision 087c4d74
1