[coreboot] New patch to review for coreboot: 98cd3c8 Fix missing cast back to void *