Index: biosdevname-0.5.0/src/bios_dev_name.c
===================================================================
--- biosdevname-0.5.0.orig/src/bios_dev_name.c
+++ biosdevname-0.5.0/src/bios_dev_name.c
@@ -114,10 +114,13 @@ static u_int32_t
 cpuid (u_int32_t eax, u_int32_t ecx)
 {
     asm volatile (
-        "xor %%ebx, %%ebx; cpuid"
+    	"push %%ebx\n"
+        "xor %%ebx, %%ebx\n"
+	"cpuid\n"
+	"pop %%ebx\n"
         : "=a" (eax),  "=c" (ecx)
         : "a" (eax)
-	: "%ebx", "%edx");
+	: "%edx");
     return ecx;
 }