[PATCH 1/2] EFI: enable printf UUID support

[Jean-Christophe PLAGNIOL-VILLARD]

Signed-off-by: Jean-Christophe PLAGNIOL-VILLARD <plagnioj at jcrosoft.com>
---
 arch/efi/Kconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arch/efi/Kconfig b/arch/efi/Kconfig
index f67ed9d..ed76b1e 100644
--- a/arch/efi/Kconfig
+++ b/arch/efi/Kconfig
@@ -6,6 +6,7 @@ config ARCH_EFI
 	select HAVE_DEFAULT_ENVIRONMENT_NEW
 	select EFI_GUID
 	select EFI_DEVICEPATH
+	select PRINTF_UUID
 
 config ARCH_TEXT_BASE
 	hex
-- 
1.9.rc1