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