diff --git a/src/system/boot/platform/efi/arch/riscv64/arch_start.cpp b/src/system/boot/platform/efi/arch/riscv64/arch_start.cpp
index f6cf88896f..d001eda7fd 100644
--- a/src/system/boot/platform/efi/arch/riscv64/arch_start.cpp
+++ b/src/system/boot/platform/efi/arch/riscv64/arch_start.cpp
@@ -145,12 +145,6 @@ arch_start_kernel(addr_t kernelEntry)
 
 	serial_enable();
 
-	dprintf("[PRE] SetSatp()\n");
-	SetSatp(satp);
-	dprintf("[POST] SetSatp()\n");
-	FlushTlbAll();
-	dprintf("[POST] FlushTlbAll()\n");
-
 	// Copy final kernel args
 	// This should be the last step before jumping to the kernel
 	// as there are some fixups happening to kernel_args even in the last minute