cpuid: save ebx only on i386