[coreboot-gerrit] New patch to review for coreboot: 3ceb52e aarch64: Fix 64-bit pointer related casts