efi: Disable watchdog timer
diff --git a/stage23/entry.s3.c b/stage23/entry.s3.c
index 0d1c48e5..5e5f273a 100644
--- a/stage23/entry.s3.c
+++ b/stage23/entry.s3.c
@@ -56,6 +56,11 @@ void uefi_entry(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable) {
EFI_STATUS status;
+ status = gBS->SetWatchdogTimer(0, 0x10000, 0, NULL);
+ if (status) {
+ print("WARNING: Failed to disable watchdog timer!\n");
+ }
+
init_memmap();
term_vbe(0, 0);
