Bunch of bug fixes and debuf prints
Merge branch 'master' of https://github.com/fchoo/lab4

Conflicts:
	kernel/device.c
	kernel/memcheck.c
	kernel/sched/sched.c