openstack-full: update debian kernel

Re-apply patch from @dsavineau which was not merged correctly.