[coreboot-gerrit] Change in coreboot[master]: Makefile: Switch to `.config` as input for the Ada `CB.Config`