--- Cryptlib/Makefile.orig	2014-10-13 22:41:51.000000000 +0200
+++ Cryptlib/Makefile	2014-11-30 20:23:01.000000000 +0100
@@ -1,3 +1,6 @@
+ifeq ($(ARCH),amd64)
+	override ARCH	= x86_64
+endif
 
 EFI_INCLUDES	= -IInclude -I$(EFI_INCLUDE) -I$(EFI_INCLUDE)/$(ARCH) -I$(EFI_INCLUDE)/protocol
 
