x86 mmiotrace: fix remove_kmmio_fault_pages()