Patch: Linux kernel to 3.0.94