[coreboot] [patch] fix k8 raminit edge case