[coreboot-gerrit] Patch merged into coreboot/master: fd2f030 elog: Fix typecast issues related to 64-bit compilation.