using extract under SSE4.1
cpuid no longer globbers ebx, code should now also work in 32 bit mode under Linux