Linux kernel machine check handling middleware