mlx4_core: Add 40GigE device ID