Re: [coreboot] K8 patch for new v3 allocator