[coreboot] Patch merged into coreboot/master: 15fa0ed Intel Sandybridge: add reserved memory as resources