Refactoring fork and fixing bugs on interrupt handling

- Fixed few bugs in interrupt handling so now data abort handler can
  actually execute
- Moved fork() code from proc.c to proc_fork.c
- Cleaning up kinit.c