The use of cpuid destroys the content of %eax and %edx,
so they must be saved before.