[coreboot-gerrit] Change in coreboot[master]: [NOT FOR MERGE] buildgcc: Update GCC to 7.1.0.

[Iru Cai (Code Review)]

Iru Cai has uploaded a new change for review. ( https://review.coreboot.org/19618 )

Change subject: [NOT FOR MERGE] buildgcc: Update GCC to 7.1.0.
......................................................................

[NOT FOR MERGE] buildgcc: Update GCC to 7.1.0.

Tested with lenovo/x230 without libgfxinit.

libgfxinit fails to build with the following error:
  hw-mmio_range.adb:50:63: volatile object cannot appear in this context (SPARK RM 7.1.3(11))
  hw-mmio_range.adb:65:63: volatile object cannot appear in this context (SPARK RM 7.1.3(11))

Change-Id: I262fb421067f2e58d7f3905f86bea28bcec219b5
Signed-off-by: Iru Cai 
---
M util/crossgcc/buildgcc
D util/crossgcc/patches/gcc-6.3.0_memmodel.patch
D util/crossgcc/patches/gcc-6.3.0_nds32.patch
D util/crossgcc/patches/gcc-6.3.0_riscv.patch
R util/crossgcc/patches/gcc-7.1.0_elf_biarch.patch
R util/crossgcc/patches/gcc-7.1.0_gnat.patch
R util/crossgcc/patches/gcc-7.1.0_libgcc.patch
D util/crossgcc/sum/gcc-6.3.0.tar.bz2.cksum
A util/crossgcc/sum/gcc-7.1.0.tar.bz2.cksum
9 files changed, 2 insertions(+), 10,967 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/18/19618/1