Userspace helper for Linux kernel EDAC drivers (ECC)