ARM: 5841/1: a driver for on-chip ETM and ETB