[coreboot] Re: Resource allocator: multiple boards regression