Issue #11: Added support for the AVX instruction sets in the CPU back-end