[coreboot-gerrit] Patch merged into coreboot/master: def0fb5 pistashio: bump up romstage size