Added support for saving / restoring pagedir registers when taskswitching in x86 and some Makefile fixing when compiling under x86-64