מחשב נייד עם מערכת הפעלה