arm64: entry: Reword comment about post_ttbr_update_workaround