Re: [PATCH] Enable gcov support on the ARM architecture