Re: [coreboot] fix memory allocator free list corruption