Revert "Builr kernel with gcc 4.8"

This reverts commit 2f59701a9f815b0b4f6ab4cf22982f777728b5eb.