Revert win_kdvb to kernel va using the kernel boundary information