[coreboot] Heads up: Allocator changes