Re: [coreboot] k8/ck804 resource allocator trouble