[coreboot] Patch merged into coreboot/master: 98cd3c8 Fix missing cast back to void *