Use our own kernel and use GCC 4.8