[coreboot] v2 resource allocator strangeness