[coreboot-gerrit] Change in coreboot[master]: vc/amd/Kconfig: Add missing dot in AMD domain www.amd.com