Update boot allocator code.