x86, dmar: move page fault handling code to dmar.c