openstack-full/debian: move to 3.16 kernel