delos3geur: switch to gcc 4.8 for kernel build