Userspace helper for Linux kernel EDAC drivers
