[coreboot-gerrit] Patch merged into coreboot/master: 18ac0d5 Drop add_mainboard_resources and HAVE_MAINBOARD_RESOURCES again