[coreboot-gerrit] New patch to review for coreboot: 314ec7b arm64: Add function for reading TCR register at current EL