[coreboot-gerrit] Patch merged into coreboot/master: arm64: xcompile: Add support for A53 erratum 843419