Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

Conflicts:

	linux_module/palacios-vm.c

diff --cc linux_module/palacios-vm.c
Simple merge

diff --cc linux_module/palacios.h
index 8923361,9fe9c29..62f43f1
--- 1/linux_module/palacios.h
--- 2/linux_module/palacios.h
+++ b/linux_module/palacios.h
@@@ -64,10 -64,6 +64,10 @@@ struct v3_guest 
  
      char name[128];
  
 +
 +    struct rb_root vm_ctrls;
- 
++    struct list_head exts;
 +
      struct list_head files;
      struct list_head streams;
      struct list_head sockets;