[syslinux:firmware] efi: Convert printf() to Print()

[syslinux-bot for Matt Fleming]

Commit-ID:  7c66fc1a135257ec6c490cd73b58c78f6e48916d
Gitweb:     http://www.syslinux.org/commit/7c66fc1a135257ec6c490cd73b58c78f6e48916d
Author:     Matt Fleming <matt.fleming at intel.com>
AuthorDate: Tue, 9 Jul 2013 10:13:43 +0100
Committer:  Matt Fleming <matt.fleming at intel.com>
CommitDate: Tue, 9 Jul 2013 10:13:43 +0100

efi: Convert printf() to Print()

We haven't loaded ldlinux.* at this point so we can't rely on the
console code being in a useful state. Use the EFI-specific Print()
instead.

Signed-off-by: Matt Fleming <matt.fleming at intel.com>

---
 efi/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/efi/main.c b/efi/main.c
index 309fc49..1ad0d01 100644
--- a/efi/main.c
+++ b/efi/main.c
@@ -1289,7 +1289,7 @@ EFI_STATUS efi_main(EFI_HANDLE image, EFI_SYSTEM_TABLE *table)
 	/* setup timer for boot menu system support */
 	status = setup_default_timer(&timer_ev);
 	if (status != EFI_SUCCESS) {
-		printf("Failed to set up EFI timer support, bailing out\n");
+		Print(L"Failed to set up EFI timer support, bailing out\n");
 		goto out;
 	}