review.coreboot.org / coreboot / 9631016660423d0585a1 / util / crossgcc / patches / gcc-5.2.0_gnat.patch