Issue #7: Enabled the 64bit extensions of the SSE instruction sets in the CPU back-end