Marvell makes its blockbuster deal for Lumentum official.