Add comments about mismatched TCR_ELx and xlat tables