[coreboot-gerrit] New patch to review for coreboot: b9a67ad fmap: Fix pointer related casts