I don't have a non-artificial test case for this since it involves cloud images, but I can confirm that the mlx5_core module is in linux-image-generic in xenial-proposed.
root@malefic:~# dpkg -L linux-image-4.4.0-49-generic | grep mlx /lib/modules/4.4.0-49-generic/kernel/drivers/net/ethernet/mellanox/mlx5 /lib/modules/4.4.0-49-generic/kernel/drivers/net/ethernet/mellanox/mlx5/core /lib/modules/4.4.0-49-generic/kernel/drivers/net/ethernet/mellanox/mlx5/core/mlx5_core.ko /lib/modules/4.4.0-49-generic/kernel/drivers/net/ethernet/mellanox/mlxsw /lib/modules/4.4.0-49-generic/kernel/drivers/net/ethernet/mellanox/mlxsw/mlxsw_pci.ko /lib/modules/4.4.0-49-generic/kernel/drivers/net/ethernet/mellanox/mlxsw/mlxsw_core.ko /lib/modules/4.4.0-49-generic/kernel/drivers/net/ethernet/mellanox/mlx4 /lib/modules/4.4.0-49-generic/kernel/drivers/net/ethernet/mellanox/mlx4/mlx4_en.ko /lib/modules/4.4.0-49-generic/kernel/drivers/net/ethernet/mellanox/mlx4/mlx4_core.ko root@malefic:~#
I don't have a non-artificial test case for this since it involves
cloud images, but I can confirm that the mlx5_core module is in
linux-image-generic in xenial-proposed.
root@malefic:~# dpkg -L linux-image- 4.4.0-49- generic | grep mlx 4.4.0-49- generic/ kernel/ drivers/ net/ethernet/ mellanox/ mlx5 4.4.0-49- generic/ kernel/ drivers/ net/ethernet/ mellanox/ mlx5/core 4.4.0-49- generic/ kernel/ drivers/ net/ethernet/ mellanox/ mlx5/core/ mlx5_core. ko 4.4.0-49- generic/ kernel/ drivers/ net/ethernet/ mellanox/ mlxsw 4.4.0-49- generic/ kernel/ drivers/ net/ethernet/ mellanox/ mlxsw/mlxsw_ pci.ko 4.4.0-49- generic/ kernel/ drivers/ net/ethernet/ mellanox/ mlxsw/mlxsw_ core.ko 4.4.0-49- generic/ kernel/ drivers/ net/ethernet/ mellanox/ mlx4 4.4.0-49- generic/ kernel/ drivers/ net/ethernet/ mellanox/ mlx4/mlx4_ en.ko 4.4.0-49- generic/ kernel/ drivers/ net/ethernet/ mellanox/ mlx4/mlx4_ core.ko
/lib/modules/
/lib/modules/
/lib/modules/
/lib/modules/
/lib/modules/
/lib/modules/
/lib/modules/
/lib/modules/
/lib/modules/
root@malefic:~#