Peter Hoddie, Marvell Semiconductor