Mathieu, this includes the patch that adds the instrumentation menu toavr32, bringing it in line with most other architectures at the moment.Please update your patch so that it also updates the avr32 Kconfig whenremoving it.