[coreboot-gerrit] Change in coreboot[master]: configs: Build test x86_64 on 3 Intel boards