Fixed some errors in sched and added mmu_translate_vaddr()