kernel: allow devices to use newer GCC

Change-Id: I2faa89d3c40750f444d3ce559dddbd327d73878e
1 file changed