[coreboot] Patch merged into coreboot/master: 7219e05 i5000: Fix resource allocation