r0 = openat$sysfs(0xffffffffffffff9c, &(0x7f0000000040)='/sys/kernel/kexec_crash_size', 0xa0902, 0x0) write$eventfd(r0, &(0x7f0000000000), 0x8)