Revert "Make kernel compatible with gcc <=4.8"

This reverts commit c1472280da6edb338506fa69f1130d6b2f4f0ef8.