x86: mm: Keep track of pte's more dynamically

Instead of requiring each page to be unset and reset at the moment of a
task switch, the new code, should be able to just have the page
directory switched, and the kernel pages synchronised, in order to
switch virtual memory context.

Signed-off-by: Bart Kuivenhoven <bemkuivenhoven@gmail.com>