Linux x86 machine check user space processing utility