diff --git a/targets/ARCH/EXMIMO/DRIVER/eurecom/fileops.c b/targets/ARCH/EXMIMO/DRIVER/eurecom/fileops.c
index de031cddaefe0f85665f185fc6d0b0b234fb5943..fc7e4e3d637f1dec50d1e34f1c34df9ff6b4b553 100755
--- a/targets/ARCH/EXMIMO/DRIVER/eurecom/fileops.c
+++ b/targets/ARCH/EXMIMO/DRIVER/eurecom/fileops.c
@@ -72,7 +72,10 @@ int openair_device_mmap(struct file *filp, struct vm_area_struct *vma)
         size);
     */
     vma->vm_pgoff = 0;
-    vma->vm_flags |= VM_RESERVED;
+    
+    // not supported by 64 bit kernels
+    //vma->vm_flags |= VM_RESERVED;
+      vma->vm_flags |= VM_IO;
         
     if ( is_card_num_invalid(card) )
         return -EINVAL;
@@ -176,7 +179,17 @@ int openair_device_ioctl(struct inode *inode,struct file *filp, unsigned int cmd
         exmimo_send_pccmd((int)arg, EXMIMO_STOP);
 
         break;
-  
+ 
+    case openair_STOP_WITHOUT_RESET:
+
+        printk("[openair][IOCTL]     openair_STOP_WITHOUT_RESET(card%d)\n", (int)arg);
+        if ( is_card_num_invalid((int)arg) )
+            return -EINVAL;
+
+        exmimo_send_pccmd((int)arg, EXMIMO_STOP_WITHOUT_RESET);
+
+        break;
+ 
     case openair_GET_FRAME:
 
         get_frame_cnt=0;
diff --git a/targets/ARCH/EXMIMO/DRIVER/eurecom/module_main.c b/targets/ARCH/EXMIMO/DRIVER/eurecom/module_main.c
index ba468b063c61d86a7a329a7dadc6b3e463ff39a7..5658d8cb6a38bb4e4c25151ba3e7d6a7f9864633 100755
--- a/targets/ARCH/EXMIMO/DRIVER/eurecom/module_main.c
+++ b/targets/ARCH/EXMIMO/DRIVER/eurecom/module_main.c
@@ -63,8 +63,9 @@ static int __init openair_init_module( void )
 
     if( pdev[card] )
     {
-        printk("[openair][INIT_MODULE][INFO]:  openair card (ExpressMIMO) %d found, bus 0x%x, primary 0x%x, secondary 0x%x\n",card,
-                 pdev[card]->bus->number, pdev[card]->bus->primary,pdev[card]->bus->secondary);
+       // This print does not work for 64 bit kernels
+      //  printk("[openair][INIT_MODULE][INFO]:  openair card (ExpressMIMO) %d found, bus 0x%x, primary 0x%x, secondary 0x%x\n",card,
+      //           pdev[card]->bus->number, pdev[card]->bus->primary,pdev[card]->bus->secondary);
 
         pci_read_config_word(pdev[card], PCI_SUBSYSTEM_ID, &subid);
         pci_read_config_word(pdev[card], PCI_SUBSYSTEM_VENDOR_ID, &vendor);
@@ -98,8 +99,9 @@ static int __init openair_init_module( void )
         pdev[card] = pci_get_device(vid,did, pdev[card-1]);
         if(pdev[card])
         {
-            printk("[openair][INIT_MODULE][INFO]: openair card %d found, bus 0x%x, primary 0x%x, secondary 0x%x\n",card,
-                    pdev[card]->bus->number,pdev[card]->bus->primary,pdev[card]->bus->secondary);
+          // This print does not work for 64 bit kernels
+          //  printk("[openair][INIT_MODULE][INFO]: openair card %d found, bus 0x%x, primary 0x%x, secondary 0x%x\n",card,
+          //          pdev[card]->bus->number,pdev[card]->bus->primary,pdev[card]->bus->secondary);
 
             pci_read_config_word(pdev[card], PCI_SUBSYSTEM_ID, &subid);
             pci_read_config_word(pdev[card], PCI_SUBSYSTEM_VENDOR_ID, &vendor);