[coreboot] Resource allocator: Getting v4 back in