Portfolio manager known for ‘The Big Short’ isn’t worried about Nvidia sell-off: ‘I don’t think it means anything’