xv6 kernel problem in single step mode