[coreboot-gerrit] Patch merged into coreboot/master: b718eab arm64: Add function for reading TCR register at current EL