[coreboot] K8 patch for new v3 allocator