User's Guide: mention ETM on ARM11 comes up too