kernel: add support for gcc 5