the 50b of revenue that nvidia just booked last quarter. dont they all get deployed on machines that run linux?