- enable remembering of device memory ranges set by PCI and

told to kernel
  - makes VM ask the kernel if a certain process is allowed
    to map in a range of physical memory (VM rounds it to page
    boundaries afterwards - but it's impossible to map anything
    smaller otherwise so I assume this is safe, i.e. there won't
    be anything else in that page; certainly no regular memory)
  - VM permission check cleanup (no more hardcoded calls, less
    hardcoded logic, more readable main loop), a loose end left
    by GQ
  - remove do_copy warning, as the ipc server triggers this but
    it's no more harmful than the special cases already excluded
    explicitly (VFS, PM, etc).

drivers/pci/pci.c

@@ -358,11 +358,6 @@ endpoint_t proc;
 			mr.mr_limit= mr.mr_base +
 				pcidev[devind].pd_bar[i].pb_size-1;
 
-			if(debug) {
-			   printf(
-	"pci_reserve3: for proc %d, should add memory range [0x%x..0x%x]\n",
-				proc, mr.mr_base, mr.mr_limit);
-			}
 			r= sys_privctl(proc, SYS_PRIV_ADD_MEM, &mr);
 			if (r != OK)
 			{