[coreboot] K8 resource allocation cleanup