3.11 vanilla kernel from kernel.org with a few modifications and ubuntu-compatible config