An Optimized Kernel for Ubuntu Precise 12.04