CPU ID reg1 for GCC 32bit-fix