[core/gcc] is outdated

[System64]

gcc seems to be updated in arch linux arm PKGBUILDS to gcc 13 but the available binaries are only for gcc 12