Merge "kernel: allow devices to use newer GCC" into r