[coreboot-gerrit] Change in coreboot[master]: [NOT FOR MERGE] crossgcc: back port GNAT EH handler_v1 patch