kexec_load(0x8000, 0x1, &(0x7f0000000240)=[{0x0}], 0x1)