[coreboot-gerrit] Patch merged into coreboot/master: mb/gigabyte/ga-g41m-es2l: Update board_info.txt and add item to Kconfig