kbuild: Fix instrumentation removal breakage on avr32