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@intel.com>

1 files changed, 1 insertions, 1 deletions

diff --git a/efi/main.c b/efi/main.c
index 309fc49b..1ad0d01a 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;
 	}