diff --git a/src/arch/riscv/kernel/boot.c b/src/arch/riscv/kernel/boot.c
index b75ee56e7..77d4a3e5b 100644
--- a/src/arch/riscv/kernel/boot.c
+++ b/src/arch/riscv/kernel/boot.c
@@ -207,8 +207,8 @@ static BOOT_CODE bool_t try_init_kernel(
 
     /* convert from physical addresses to userland vptrs */
     v_region_t ui_v_reg = {
-        .start = (word_t)(ui_p_reg_start - pv_offset),
-        .end   = (word_t)(ui_p_reg_end   - pv_offset)
+        .start = ui_p_reg_start - pv_offset,
+        .end   = ui_p_reg_end   - pv_offset
     };
 
     ipcbuf_vptr = ui_v_reg.end;