[coreboot-gerrit] Change in coreboot[master]: device/Kconfig: Make Ada dependent on GCC toolchain

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/21355 )

Change subject: device/Kconfig: Make Ada dependent on GCC toolchain
......................................................................

Patch Set 2:

Build Successful

https://qa.coreboot.org/job/coreboot-checkpatch/15205/ : SUCCESS

https://qa.coreboot.org/job/coreboot-gerrit/59951/ : SUCCESS