AVX: Fixed typo

Signed-off-by: Nicola Viganò <ben.vighy@gmail.com>