[coreboot-gerrit] Change in coreboot[master]: coreboot-sdk: Prever gnat package over gnat-6