[coreboot] current k8 diff