efi/loader: Call tslog_init

This allows the EFI loader to start recording timestamps.

stand/efi/loader/main.c

@@ -927,6 +927,8 @@ main(int argc, CHAR16 *argv[])
 	char buf[32];
 	bool uefi_boot_mgr;
 
+	tslog_init();
+
 	archsw.arch_autoload = efi_autoload;
 	archsw.arch_getdev = efi_getdev;
 	archsw.arch_copyin = efi_copyin;