vkernel/vkernel64: Add suword32() to fix build.