[coreboot-gerrit] Patch set updated for coreboot: 2c7cd92 Drop add_mainboard_resources and HAVE_MAINBOARD_RESOURCES again