Add make flags so that kernels are GCC 4.8 compatable