>>15
cpuid は out: eax ebx ecx edx, in: eax だからそれだとまずい。
int a, b, c, d, op;
op = 0;
__asm__ __volatile__("cpuid"
: "=a" (a), "=b" (b), "=c" (c), "=d" (d)
: "0" (op));
でどーでしょ。

>>16
アーキテクチャ依存のことは info にはあんま書いてないから、Machine Desc
の章を読んで config/i386/i386.* とかを見るしかないと思う。