[coreboot] Resource allocator: multiple boards regression