playbook: Use proposed updates for debian9 to get an even newer kernel

  Only 4.9.185 contains the fix from Kiril. For now, debian 8 won't contains it.

playbook/roles/vifib-kernel/tasks/main.yml

 ---
 
+  - name: Install Debian stable-proposed-updates repository
+    apt_repository: repo='deb http://deb.debian.org/debian/ oldstable-proposed-updates main' state=present update_cache=yes
+    when: ansible_distribution == "Debian" and ansible_distribution_major_version == "9"
+
   - name: Install kernel 4.9 on debian 9.0
-    apt: name=linux-image-4.9.0-9-amd64  state=latest update_cache=no
+    apt: name=linux-image-4.9.0-10-amd64  state=latest default_release=oldstable-proposed-updates update_cache=no
     when: ansible_distribution == "Debian" and ansible_distribution_major_version == "9"
     notify: [ 'Mark to reboot' ]
 
@@ -11,7 +15,7 @@
 
   - name: Install kernel 4.9 on debian 8.0
     apt: name=linux-image-4.9.0-0.bpo.9-amd64  state=latest default_release=jessie-backports update_cache=yes
-    when: ansible_distribution == "Debian" and ansible_distribution_major_version == "8"        
+    when: ansible_distribution == "Debian" and ansible_distribution_major_version == "8"
     notify: [ 'Mark to reboot' ]
 
   - name: Install Debian jessie repository on debian 7