Re: [coreboot] r4394 breaks on hardware (was: Re: [PATCH] v3 Resource allocator to v2)