[coreboot] print(k) question