[coreboot] Re: Resource allocator: Getting v4 back in