boot/util: use x86 ASM only on x86 platforms.

diff --git a/src/boot/efi/util.c b/src/boot/efi/util.c
index ba5ed7d22f160cd0fd9936f16d1f0747a38dac25..4dd7c1efdef4238f3a1f4ae324d4418627ad71f2 100644 (file)
--- a/src/boot/efi/util.c
+++ b/src/boot/efi/util.c
@@ -33,7 +33,7 @@ UINT64 ticks_read(VOID) {
         __asm__ volatile ("rdtsc" : "=a" (a), "=d" (d));
         return (d << 32) | a;
 }
-#else
+#elif defined(__i386__)
 UINT64 ticks_read(VOID) {
         UINT64 val;
         __asm__ volatile ("rdtsc" : "=A" (val));