[coreboot] k8: humorous bug