Re: [coreboot] [PATCH] resource allocator hole handling (simple and old)