switch to GCC 4.8.3 for kernel compilation