[coreboot] Re: Heads up: Allocator changes