Set CPU type for GCC 4.7