http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55712
--- Comment #4 from Leif Ekblad <leif at rdos dot net> 2012-12-23 22:50:51 UTC --- Created attachment 29039 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29039 Patch that uses other register than rbx for cpuid.