Re: [arch-dev-public] GCC update in core and kernels