[coreboot] crossgcc/buildgcc gdb7.2 version name change