Fix minor bugs, use v86_regs to pass reg values from/to the kernel.