fix kernel Gcc version